-/*
- * (c) Copyright IBM Corp. 2000, 2001.
- * All Rights Reserved.
- */
+/*******************************************************************************
+ * Copyright (c) 2000, 2003 IBM Corporation and others.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Common Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/cpl-v10.html
+ *
+ * Contributors:
+ * IBM Corporation - initial API and implementation
+ *******************************************************************************/
package net.sourceforge.phpdt.internal.ui.text.link;
import java.lang.reflect.InvocationTargetException;
import org.eclipse.jface.dialogs.MessageDialog;
import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.jface.preference.PreferenceConverter;
+import org.eclipse.jface.text.Assert;
import org.eclipse.jface.text.BadLocationException;
import org.eclipse.jface.text.BadPositionCategoryException;
import org.eclipse.jface.text.DefaultPositionUpdater;
import org.eclipse.jface.text.IDocument;
import org.eclipse.jface.text.IPositionUpdater;
import org.eclipse.jface.text.IRegion;
+import org.eclipse.jface.text.IRewriteTarget;
import org.eclipse.jface.text.ITextInputListener;
import org.eclipse.jface.text.ITextListener;
import org.eclipse.jface.text.ITextViewer;
import org.eclipse.jface.text.ITextViewerExtension;
import org.eclipse.jface.text.ITextViewerExtension2;
-import org.eclipse.jface.text.ITextViewerExtension3;
+import org.eclipse.jface.text.ITextViewerExtension5;
import org.eclipse.jface.text.Position;
import org.eclipse.jface.text.Region;
import org.eclipse.jface.text.TextEvent;
-import org.eclipse.jface.util.Assert;
import org.eclipse.jface.util.IPropertyChangeListener;
import org.eclipse.jface.util.PropertyChangeEvent;
import org.eclipse.swt.SWT;
import org.eclipse.swt.widgets.Shell;
/**
- * A user interface for <code>LinkedPositionManager</code>, using <code>ITextViewer</code>.
+ * A user interface for <code>LinkedPositionManager</code>, using
+ * <code>ITextViewer</code>.
*/
-public class LinkedPositionUI implements LinkedPositionListener,
- ITextInputListener, ITextListener, ModifyListener, VerifyListener, VerifyKeyListener, PaintListener, IPropertyChangeListener, ShellListener {
+public class LinkedPositionUI implements ILinkedPositionListener,
+ ITextInputListener, ITextListener, ModifyListener, VerifyListener,
+ VerifyKeyListener, PaintListener, IPropertyChangeListener,
+ ShellListener {
/**
* A listener for notification when the user cancelled the edit operation.
public interface ExitListener {
void exit(boolean accept);
}
-
+
public static class ExitFlags {
- public int flags;
+ public int flags;
+
public boolean doit;
+
public ExitFlags(int flags, boolean doit) {
- this.flags= flags;
- this.doit= doit;
- }
+ this.flags = flags;
+ this.doit = doit;
+ }
}
-
+
public interface ExitPolicy {
- ExitFlags doExit(LinkedPositionManager manager, VerifyEvent event, int offset, int length);
+ ExitFlags doExit(LinkedPositionManager manager, VerifyEvent event,
+ int offset, int length);
}
-
+
// leave flags
- private static final int UNINSTALL= 1; // uninstall linked position manager
- public static final int COMMIT= 2; // commit changes
- private static final int DOCUMENT_CHANGED= 4; // document has changed
- public static final int UPDATE_CARET= 8; // update caret
-
- private static final String CARET_POSITION= "LinkedPositionUI.caret.position"; //$NON-NLS-1$
- private static final IPositionUpdater fgUpdater= new DefaultPositionUpdater(CARET_POSITION);
- private static final IPreferenceStore fgStore= PHPeclipsePlugin.getDefault().getPreferenceStore();
-
+ private static final int UNINSTALL = 1; // uninstall linked position manager
+
+ public static final int COMMIT = 2; // commit changes
+
+ private static final int DOCUMENT_CHANGED = 4; // document has changed
+
+ public static final int UPDATE_CARET = 8; // update caret
+
+ private static final IPreferenceStore fgStore = PHPeclipsePlugin
+ .getDefault().getPreferenceStore();
+
+ private static final String CARET_POSITION_PREFIX = "LinkedPositionUI.caret.position"; //$NON-NLS-1$
+
+ private static int fgCounter = 0;
+
private final ITextViewer fViewer;
- private final LinkedPositionManager fManager;
+
+ private final LinkedPositionManager fManager;
+
+ private final IPositionUpdater fUpdater;
+
+ private final String fPositionCategoryName;
+
private Color fFrameColor;
- private int fFinalCaretOffset= -1; // no final caret offset
+ private int fFinalCaretOffset = -1; // no final caret offset
+
+ private Position fFinalCaretPosition;
private Position fFramePosition;
- private int fInitialOffset= -1;
+
+ private int fInitialOffset = -1;
+
private int fCaretOffset;
-
+
private ExitPolicy fExitPolicy;
+
private ExitListener fExitListener;
-
+
private boolean fNeedRedraw;
-
+
private String fContentType;
+ private Position fPreviousPosition;
+
+ // private ContentAssistant2 fAssistant;
+
+ /**
+ * Flag that records the state of this ui object. As there are many
+ * different entities that may call leave or exit, these cannot always be
+ * sure whether the linked position infrastructure is still active. This is
+ * especially true for multithreaded situations.
+ */
+ private boolean fIsActive = false;
+
/**
* Creates a user interface for <code>LinkedPositionManager</code>.
*
- * @param viewer the text viewer.
- * @param manager the <code>LinkedPositionManager</code> managing a <code>IDocument</code> of the <code>ITextViewer</code>.
+ * @param viewer
+ * the text viewer.
+ * @param manager
+ * the <code>LinkedPositionManager</code> managing a
+ * <code>IDocument</code> of the <code>ITextViewer</code>.
*/
public LinkedPositionUI(ITextViewer viewer, LinkedPositionManager manager) {
Assert.isNotNull(viewer);
Assert.isNotNull(manager);
-
- fViewer= viewer;
- fManager= manager;
-
+
+ fViewer = viewer;
+ fManager = manager;
+
+ fPositionCategoryName = CARET_POSITION_PREFIX + (fgCounter++);
+ fUpdater = new DefaultPositionUpdater(fPositionCategoryName);
+
fManager.setLinkedPositionListener(this);
initializeHighlightColor(viewer);
* @see IPropertyChangeListener#propertyChange(PropertyChangeEvent)
*/
public void propertyChange(PropertyChangeEvent event) {
- if (event.getProperty().equals(PreferenceConstants.EDITOR_LINKED_POSITION_COLOR)) {
+ if (event.getProperty().equals(
+ PreferenceConstants.EDITOR_LINKED_POSITION_COLOR)) {
initializeHighlightColor(fViewer);
redrawRegion();
}
if (fFrameColor != null)
fFrameColor.dispose();
- StyledText text= viewer.getTextWidget();
+ StyledText text = viewer.getTextWidget();
if (text != null) {
- Display display= text.getDisplay();
- fFrameColor= createColor(fgStore, PreferenceConstants.EDITOR_LINKED_POSITION_COLOR, display);
+ Display display = text.getDisplay();
+ fFrameColor = createColor(fgStore,
+ PreferenceConstants.EDITOR_LINKED_POSITION_COLOR, display);
}
}
/**
- * Creates a color from the information stored in the given preference store.
- * Returns <code>null</code> if there is no such information available.
+ * Creates a color from the information stored in the given preference
+ * store. Returns <code>null</code> if there is no such information
+ * available.
*/
- private Color createColor(IPreferenceStore store, String key, Display display) {
-
- RGB rgb= null;
-
+ private Color createColor(IPreferenceStore store, String key,
+ Display display) {
+
+ RGB rgb = null;
+
if (store.contains(key)) {
-
+
if (store.isDefault(key))
- rgb= PreferenceConverter.getDefaultColor(store, key);
+ rgb = PreferenceConverter.getDefaultColor(store, key);
else
- rgb= PreferenceConverter.getColor(store, key);
-
+ rgb = PreferenceConverter.getColor(store, key);
+
if (rgb != null)
return new Color(display, rgb);
}
-
+
return null;
}
/**
* Sets the initial offset.
+ *
* @param offset
*/
public void setInitialOffset(int offset) {
- fInitialOffset= offset;
+ fInitialOffset = offset;
}
-
+
/**
* Sets the final position of the caret when the linked mode is exited
- * successfully by leaving the last linked position using TAB.
+ * successfully by leaving the last linked position using TAB. The set
+ * position will be a TAB stop as well as the positions configured in the
+ * <code>LinkedPositionManager</code>.
*/
public void setFinalCaretOffset(int offset) {
- fFinalCaretOffset= offset;
+ fFinalCaretOffset = offset;
}
/**
* is exited unsuccessfully by hitting ESC.
*/
public void setCancelListener(ExitListener listener) {
- fExitListener= listener;
+ fExitListener = listener;
}
/**
- * Sets an <code>ExitPolicy</code> which decides when and how
- * the linked mode is exited.
+ * Sets an <code>ExitPolicy</code> which decides when and how the linked
+ * mode is exited.
*/
public void setExitPolicy(ExitPolicy policy) {
- fExitPolicy= policy;
+ fExitPolicy = policy;
}
/*
- * @see LinkedPositionManager.LinkedPositionListener#setCurrentPositions(Position, int)
+ * @see LinkedPositionManager.LinkedPositionListener#setCurrentPositions(Position,
+ * int)
*/
public void setCurrentPosition(Position position, int caretOffset) {
+ if (!fIsActive)
+ ;// JavaPlugin.log(new Status(IStatus.WARNING,
+ // JavaPlugin.getPluginId(), IStatus.OK, "LinkedPositionUI is
+ // not active: "+fPositionCategoryName, new
+ // IllegalStateException())); //$NON-NLS-1$
+
if (!fFramePosition.equals(position)) {
- fNeedRedraw= true;
- fFramePosition= position;
+ fNeedRedraw = true;
+ fFramePosition = position;
}
- fCaretOffset= caretOffset;
+ fCaretOffset = caretOffset;
}
/**
* @see #exit(boolean)
*/
public void enter() {
+ if (fIsActive)
+ ;// JavaPlugin.log(new Status(IStatus.WARNING,
+ // JavaPlugin.getPluginId(), IStatus.OK, "LinkedPositionUI is
+ // already active: "+fPositionCategoryName, new
+ // IllegalStateException())); //$NON-NLS-1$
+ else {
+ fIsActive = true;
+ // JavaPlugin.log(new Status(IStatus.INFO, JavaPlugin.getPluginId(),
+ // IStatus.OK, "LinkedPositionUI activated: "+fPositionCategoryName,
+ // new Exception())); //$NON-NLS-1$
+ }
// track final caret
- IDocument document= fViewer.getDocument();
- document.addPositionCategory(CARET_POSITION);
- document.addPositionUpdater(fgUpdater);
+ IDocument document = fViewer.getDocument();
+ document.addPositionCategory(fPositionCategoryName);
+ document.addPositionUpdater(fUpdater);
try {
- if (fFinalCaretOffset != -1)
- document.addPosition(CARET_POSITION, new Position(fFinalCaretOffset));
+ if (fFinalCaretOffset != -1) {
+ fFinalCaretPosition = new Position(fFinalCaretOffset);
+ document
+ .addPosition(fPositionCategoryName, fFinalCaretPosition);
+ }
} catch (BadLocationException e) {
handleException(fViewer.getTextWidget().getShell(), e);
} catch (BadPositionCategoryException e) {
- PHPeclipsePlugin.log(e);
+ PHPeclipsePlugin.log(e);
Assert.isTrue(false);
}
fViewer.addTextInputListener(this);
fViewer.addTextListener(this);
-
- ITextViewerExtension extension= (ITextViewerExtension) fViewer;
+
+ ITextViewerExtension extension = (ITextViewerExtension) fViewer;
extension.prependVerifyKeyListener(this);
- StyledText text= fViewer.getTextWidget();
+ StyledText text = fViewer.getTextWidget();
text.addVerifyListener(this);
text.addModifyListener(this);
text.addPaintListener(this);
text.showSelection();
- Shell shell= text.getShell();
+ Shell shell = text.getShell();
shell.addShellListener(this);
- fFramePosition= (fInitialOffset == -1) ? fManager.getFirstPosition() : fManager.getPosition(fInitialOffset);
+ fFramePosition = (fInitialOffset == -1) ? fManager.getFirstPosition()
+ : fManager.getPosition(fInitialOffset);
if (fFramePosition == null) {
leave(UNINSTALL | COMMIT | UPDATE_CARET);
return;
fgStore.addPropertyChangeListener(this);
+ // try {
+ // fContentType= TextUtilities.getContentType(document,
+ // IJavaPartitions.JAVA_PARTITIONING, fFramePosition.offset);
+ // if (fViewer instanceof ITextViewerExtension2) {
+ // ((ITextViewerExtension2) fViewer).prependAutoEditStrategy(fManager,
+ // fContentType);
+ // } else {
+ // Assert.isTrue(false);
+ // }
+ //
+ // } catch (BadLocationException e) {
+ // handleException(fViewer.getTextWidget().getShell(), e);
+ // }
try {
- fContentType= document.getContentType(fFramePosition.offset);
+ fContentType = document.getContentType(fFramePosition.offset);
if (fViewer instanceof ITextViewerExtension2) {
- ((ITextViewerExtension2) fViewer).prependAutoEditStrategy(fManager, fContentType);
+ ((ITextViewerExtension2) fViewer).prependAutoEditStrategy(
+ fManager, fContentType);
} else {
Assert.isTrue(false);
}
} catch (BadLocationException e) {
handleException(fViewer.getTextWidget().getShell(), e);
}
+ selectRegion();
+ // triggerContentAssist();
}
/*
- * @see LinkedPositionManager.LinkedPositionListener#exit(boolean)
+ * @see net.sourceforge.phpdt.internal.ui.text.link.ILinkedPositionListener#exit(boolean)
*/
- public void exit(boolean success) {
- // no UNINSTALL since manager has already uninstalled itself
- leave((success ? COMMIT : 0) | UPDATE_CARET);
+ public void exit(int flags) {
+ leave(flags);
}
/**
* <code>enter()</code> must be called prior to a call to this method.
*/
public IRegion getSelectedRegion() {
+ if (!fIsActive)
+ ;// JavaPlugin.log(new Status(IStatus.WARNING,
+ // JavaPlugin.getPluginId(), IStatus.OK, "LinkedPositionUI is
+ // not active: "+fPositionCategoryName, new
+ // IllegalStateException())); //$NON-NLS-1$
+
if (fFramePosition == null)
return new Region(fFinalCaretOffset, 0);
else
- return new Region(fFramePosition.getOffset(), fFramePosition.getLength());
+ return new Region(fFramePosition.getOffset(), fFramePosition
+ .getLength());
}
-
+
private void leave(int flags) {
+ if (!fIsActive)
+ ;// JavaPlugin.log(new Status(IStatus.WARNING,
+ // JavaPlugin.getPluginId(), IStatus.OK, "LinkedPositionUI is
+ // not active: "+fPositionCategoryName, new
+ // IllegalStateException())); //$NON-NLS-1$
+ else {
+ fIsActive = false;
+ // JavaPlugin.log(new Status(IStatus.INFO, JavaPlugin.getPluginId(),
+ // IStatus.OK, "LinkedPositionUI deactivated:
+ // "+fPositionCategoryName, new Exception())); //$NON-NLS-1$
+ }
+
+ fInitialOffset = -1;
- fInitialOffset= -1;
-
if ((flags & UNINSTALL) != 0)
fManager.uninstall((flags & COMMIT) != 0);
fgStore.removePropertyChangeListener(this);
-
+
if (fFrameColor != null) {
fFrameColor.dispose();
- fFrameColor= null;
- }
-
- StyledText text= fViewer.getTextWidget();
+ fFrameColor = null;
+ }
+
+ StyledText text = fViewer.getTextWidget();
+ // bail out if the styled text is null, meaning the viewer has been
+ // disposed (-> document is null as well)
+ // see pr https://bugs.eclipse.org/bugs/show_bug.cgi?id=46821
+ if (text == null)
+ return;
+
text.removePaintListener(this);
text.removeModifyListener(this);
text.removeVerifyListener(this);
- Shell shell= text.getShell();
+ Shell shell = text.getShell();
shell.removeShellListener(this);
- ITextViewerExtension extension= (ITextViewerExtension) fViewer;
+ // if (fAssistant != null) {
+ // Display display= text.getDisplay();
+ // if (display != null && !display.isDisposed()) {
+ // display.asyncExec(new Runnable() {
+ // public void run() {
+ // if (fAssistant != null) {
+ // fAssistant.uninstall();
+ // fAssistant= null;
+ // }
+ // }
+ // });
+ // }
+ // }
+
+ ITextViewerExtension extension = (ITextViewerExtension) fViewer;
extension.removeVerifyKeyListener(this);
+ IRewriteTarget target = extension.getRewriteTarget();
+ target.endCompoundChange();
+
if (fViewer instanceof ITextViewerExtension2 && fContentType != null)
- ((ITextViewerExtension2) fViewer).removeAutoEditStrategy(fManager, fContentType);
- fContentType= null;
+ ((ITextViewerExtension2) fViewer).removeAutoEditStrategy(fManager,
+ fContentType);
+ fContentType = null;
fViewer.removeTextListener(this);
fViewer.removeTextInputListener(this);
-
+
try {
- IDocument document= fViewer.getDocument();
+ IDocument document = fViewer.getDocument();
- if (((flags & COMMIT) != 0) &&
- ((flags & DOCUMENT_CHANGED) == 0) &&
- ((flags & UPDATE_CARET) != 0))
- {
- Position[] positions= document.getPositions(CARET_POSITION);
+ if (((flags & COMMIT) != 0) && ((flags & DOCUMENT_CHANGED) == 0)
+ && ((flags & UPDATE_CARET) != 0)) {
+ Position[] positions = document
+ .getPositions(fPositionCategoryName);
if ((positions != null) && (positions.length != 0)) {
-
- if (fViewer instanceof ITextViewerExtension3) {
- ITextViewerExtension3 extension3= (ITextViewerExtension3) fViewer;
- int widgetOffset= extension3.modelOffset2WidgetOffset(positions[0].getOffset());
+
+ if (fViewer instanceof ITextViewerExtension5) {
+ ITextViewerExtension5 extension3 = (ITextViewerExtension5) fViewer;
+ int widgetOffset = extension3
+ .modelOffset2WidgetOffset(positions[0]
+ .getOffset());
if (widgetOffset >= 0)
text.setSelection(widgetOffset, widgetOffset);
-
+
} else {
- IRegion region= fViewer.getVisibleRegion();
- int offset= positions[0].getOffset() - region.getOffset();
+ IRegion region = fViewer.getVisibleRegion();
+ int offset = positions[0].getOffset()
+ - region.getOffset();
if ((offset >= 0) && (offset <= region.getLength()))
text.setSelection(offset, offset);
}
}
}
- document.removePositionUpdater(fgUpdater);
- document.removePositionCategory(CARET_POSITION);
-
+ document.removePositionUpdater(fUpdater);
+ document.removePositionCategory(fPositionCategoryName);
+
if (fExitListener != null)
- fExitListener.exit(
- ((flags & COMMIT) != 0) ||
- ((flags & DOCUMENT_CHANGED) != 0));
+ fExitListener.exit(((flags & COMMIT) != 0)
+ || ((flags & DOCUMENT_CHANGED) != 0));
} catch (BadPositionCategoryException e) {
- PHPeclipsePlugin.log(e);
+ PHPeclipsePlugin.log(e);
Assert.isTrue(false);
}
}
private void next() {
+ if (!fIsActive)
+ ;// JavaPlugin.log(new Status(IStatus.WARNING,
+ // JavaPlugin.getPluginId(), IStatus.OK, "LinkedPositionUI is
+ // not active: "+fPositionCategoryName, new
+ // IllegalStateException())); //$NON-NLS-1$
+
redrawRegion();
-
- fFramePosition= fManager.getNextPosition(fFramePosition.getOffset());
+
+ if (fFramePosition == fFinalCaretPosition)
+ fFramePosition = fManager.getFirstPosition();
+ else
+ fFramePosition = fManager.getNextPosition(fFramePosition
+ .getOffset());
+ if (fFramePosition == null) {
+ if (fFinalCaretPosition != null)
+ fFramePosition = fFinalCaretPosition;
+ else
+ fFramePosition = fManager.getFirstPosition();
+ }
if (fFramePosition == null) {
leave(UNINSTALL | COMMIT | UPDATE_CARET);
} else {
selectRegion();
+ // triggerContentAssist();
redrawRegion();
}
}
-
+
private void previous() {
+ if (!fIsActive)
+ ;// JavaPlugin.log(new Status(IStatus.WARNING,
+ // JavaPlugin.getPluginId(), IStatus.OK, "LinkedPositionUI is
+ // not active: "+fPositionCategoryName, new
+ // IllegalStateException())); //$NON-NLS-1$
+
redrawRegion();
-
- Position position= fManager.getPreviousPosition(fFramePosition.getOffset());
- if (position == null) {
- fViewer.getTextWidget().getDisplay().beep();
+
+ fFramePosition = fManager.getPreviousPosition(fFramePosition
+ .getOffset());
+ if (fFramePosition == null) {
+ if (fFinalCaretPosition != null)
+ fFramePosition = fFinalCaretPosition;
+ else
+ fFramePosition = fManager.getLastPosition();
+ }
+ if (fFramePosition == null) {
+ leave(UNINSTALL | COMMIT | UPDATE_CARET);
} else {
- fFramePosition= position;
selectRegion();
+ // triggerContentAssist();
redrawRegion();
}
}
+ /** Trigger content assist on choice positions */
+ // private void triggerContentAssist() {
+ // if (fFramePosition instanceof ProposalPosition) {
+ //
+ // ProposalPosition pp= (ProposalPosition) fFramePosition;
+ // initializeContentAssistant();
+ // if (fAssistant == null)
+ // return;
+ // fAssistant.setCompletions(pp.getChoices());
+ // fAssistant.showPossibleCompletions();
+ // } else {
+ // if (fAssistant != null)
+ // fAssistant.setCompletions(new ICompletionProposal[0]);
+ // }
+ // }
+ /** Lazy initialize content assistant for this linked ui */
+ // private void initializeContentAssistant() {
+ // if (fAssistant != null)
+ // return;
+ // fAssistant= new ContentAssistant2();
+ // fAssistant.setDocumentPartitioning(IJavaPartitions.JAVA_PARTITIONING);
+ // fAssistant.install(fViewer);
+ // }
/*
* @see VerifyKeyListener#verifyKey(VerifyEvent)
*/
public void verifyKey(VerifyEvent event) {
- if (!event.doit)
+ if (!event.doit || !fIsActive)
return;
-
- Point selection= fViewer.getSelectedRange();
- int offset= selection.x;
- int length= selection.y;
-
- ExitFlags exitFlags= fExitPolicy == null ? null : fExitPolicy.doExit(fManager, event, offset, length);
+
+ Point selection = fViewer.getSelectedRange();
+ int offset = selection.x;
+ int length = selection.y;
+
+ ExitFlags exitFlags = fExitPolicy == null ? null : fExitPolicy.doExit(
+ fManager, event, offset, length);
if (exitFlags != null) {
leave(UNINSTALL | exitFlags.flags);
- event.doit= exitFlags.doit;
+ event.doit = exitFlags.doit;
return;
}
-
+
switch (event.character) {
// [SHIFT-]TAB = hop between edit boxes
- case 0x09:
- {
- // if tab was treated as a document change, would it exceed variable range?
- if (!LinkedPositionManager.includes(fFramePosition, offset, length)) {
- leave(UNINSTALL | COMMIT);
- return;
- }
+ case 0x09: {
+ // if tab was treated as a document change, would it exceed variable
+ // range?
+ if (!LinkedPositionManager.includes(fFramePosition, offset, length)) {
+ leave(UNINSTALL | COMMIT);
+ return;
}
-
+ }
+
if (event.stateMask == SWT.SHIFT)
previous();
- else
- next();
-
- event.doit= false;
+ else
+ next();
+
+ event.doit = false;
break;
// ENTER
- case 0x0D:
+ case 0x0A: // Ctrl+Enter
+ case 0x0D: {
+ // if (fAssistant != null && fAssistant.wasProposalChosen()) {
+ // next();
+ // event.doit= false;
+ // break;
+ // }
+
+ // if enter was treated as a document change, would it exceed
+ // variable range?
+ if (!LinkedPositionManager.includes(fFramePosition, offset, length)
+ || (fFramePosition == fFinalCaretPosition)) {
+ leave(UNINSTALL | COMMIT);
+ return;
+ }
+ }
+
leave(UNINSTALL | COMMIT | UPDATE_CARET);
- event.doit= false;
+ event.doit = false;
break;
// ESC
case 0x1B:
leave(UNINSTALL | COMMIT);
- event.doit= false;
+ event.doit = false;
break;
+
+ case ';':
+ leave(UNINSTALL | COMMIT);
+ event.doit = true;
+ break;
+
+ default:
+ if (event.character != 0) {
+ if (!controlUndoBehavior(offset, length)
+ || fFramePosition == fFinalCaretPosition) {
+ leave(UNINSTALL | COMMIT);
+ break;
+ }
+ }
}
}
+ private boolean controlUndoBehavior(int offset, int length) {
+
+ Position position = fManager.getEmbracingPosition(offset, length);
+ if (position != null) {
+
+ ITextViewerExtension extension = (ITextViewerExtension) fViewer;
+ IRewriteTarget target = extension.getRewriteTarget();
+
+ if (fPreviousPosition != null
+ && !fPreviousPosition.equals(position))
+ target.endCompoundChange();
+ target.beginCompoundChange();
+ }
+
+ fPreviousPosition = position;
+ return fPreviousPosition != null;
+ }
+
/*
* @see VerifyListener#verifyText(VerifyEvent)
*/
if (!event.doit)
return;
+ int offset = 0;
+ int length = 0;
- int offset= 0;
- int length= 0;
-
- if (fViewer instanceof ITextViewerExtension3) {
- ITextViewerExtension3 extension= (ITextViewerExtension3) fViewer;
- IRegion modelRange= extension.widgetRange2ModelRange(new Region(event.start, event.end - event.start));
+ if (fViewer instanceof ITextViewerExtension5) {
+ ITextViewerExtension5 extension = (ITextViewerExtension5) fViewer;
+ IRegion modelRange = extension.widgetRange2ModelRange(new Region(
+ event.start, event.end - event.start));
if (modelRange == null)
return;
-
- offset= modelRange.getOffset();
- length= modelRange.getLength();
-
+
+ offset = modelRange.getOffset();
+ length = modelRange.getLength();
+
} else {
- IRegion visibleRegion= fViewer.getVisibleRegion();
- offset= event.start + visibleRegion.getOffset();
- length= event.end - event.start;
+ IRegion visibleRegion = fViewer.getVisibleRegion();
+ offset = event.start + visibleRegion.getOffset();
+ length = event.end - event.start;
}
-
+
// allow changes only within linked positions when coming through UI
if (!fManager.anyPositionIncludes(offset, length))
leave(UNINSTALL | COMMIT);
/*
* @see PaintListener#paintControl(PaintEvent)
*/
- public void paintControl(PaintEvent event) {
+ public void paintControl(PaintEvent event) {
if (fFramePosition == null)
return;
-
- IRegion widgetRange= asWidgetRange(fFramePosition);
+
+ IRegion widgetRange = asWidgetRange(fFramePosition);
if (widgetRange == null) {
leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED);
return;
}
- int offset= widgetRange.getOffset();
- int length= widgetRange.getLength();
+ int offset = widgetRange.getOffset();
+ int length = widgetRange.getLength();
+
+ StyledText text = fViewer.getTextWidget();
- StyledText text= fViewer.getTextWidget();
-
// support for bidi
- Point minLocation= getMinimumLocation(text, offset, length);
- Point maxLocation= getMaximumLocation(text, offset, length);
-
- int x1= minLocation.x;
- int x2= minLocation.x + maxLocation.x - minLocation.x - 1;
- int y= minLocation.y + text.getLineHeight() - 1;
-
- GC gc= event.gc;
+ Point minLocation = getMinimumLocation(text, offset, length);
+ Point maxLocation = getMaximumLocation(text, offset, length);
+
+ int x1 = minLocation.x;
+ int x2 = minLocation.x + maxLocation.x - minLocation.x - 1;
+ int y = minLocation.y + text.getLineHeight() - 1;
+
+ GC gc = event.gc;
gc.setForeground(fFrameColor);
gc.drawLine(x1, y, x2, y);
}
-
+
protected IRegion asWidgetRange(Position position) {
- if (fViewer instanceof ITextViewerExtension3) {
-
- ITextViewerExtension3 extension= (ITextViewerExtension3) fViewer;
- return extension.modelRange2WidgetRange(new Region(position.getOffset(), position.getLength()));
-
+ if (fViewer instanceof ITextViewerExtension5) {
+
+ ITextViewerExtension5 extension = (ITextViewerExtension5) fViewer;
+ return extension.modelRange2WidgetRange(new Region(position
+ .getOffset(), position.getLength()));
+
} else {
-
- IRegion region= fViewer.getVisibleRegion();
+
+ IRegion region = fViewer.getVisibleRegion();
if (includes(region, position))
- return new Region(position.getOffset() - region.getOffset(), position.getLength());
+ return new Region(position.getOffset() - region.getOffset(),
+ position.getLength());
}
-
+
return null;
}
- private static Point getMinimumLocation(StyledText text, int offset, int length) {
- Point minLocation= new Point(Integer.MAX_VALUE, Integer.MAX_VALUE);
+ private static Point getMinimumLocation(StyledText text, int offset,
+ int length) {
+ Point minLocation = new Point(Integer.MAX_VALUE, Integer.MAX_VALUE);
+
+ for (int i = 0; i <= length; i++) {
+ Point location = text.getLocationAtOffset(offset + i);
- for (int i= 0; i <= length; i++) {
- Point location= text.getLocationAtOffset(offset + i);
-
if (location.x < minLocation.x)
- minLocation.x= location.x;
+ minLocation.x = location.x;
if (location.y < minLocation.y)
- minLocation.y= location.y;
- }
-
+ minLocation.y = location.y;
+ }
+
return minLocation;
}
- private static Point getMaximumLocation(StyledText text, int offset, int length) {
- Point maxLocation= new Point(Integer.MIN_VALUE, Integer.MIN_VALUE);
+ private static Point getMaximumLocation(StyledText text, int offset,
+ int length) {
+ Point maxLocation = new Point(Integer.MIN_VALUE, Integer.MIN_VALUE);
+
+ for (int i = 0; i <= length; i++) {
+ Point location = text.getLocationAtOffset(offset + i);
- for (int i= 0; i <= length; i++) {
- Point location= text.getLocationAtOffset(offset + i);
-
if (location.x > maxLocation.x)
- maxLocation.x= location.x;
+ maxLocation.x = location.x;
if (location.y > maxLocation.y)
- maxLocation.y= location.y;
- }
-
+ maxLocation.y = location.y;
+ }
+
return maxLocation;
}
private void redrawRegion() {
- IRegion widgetRange= asWidgetRange(fFramePosition);
+ IRegion widgetRange = asWidgetRange(fFramePosition);
if (widgetRange == null) {
- leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED);
- return;
+ leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED);
+ return;
}
-
- StyledText text= fViewer.getTextWidget();
- if (text != null && !text.isDisposed())
- text.redrawRange(widgetRange.getOffset(), widgetRange.getLength(), true);
+
+ StyledText text = fViewer.getTextWidget();
+ if (text != null && !text.isDisposed())
+ text.redrawRange(widgetRange.getOffset(), widgetRange.getLength(),
+ true);
}
private void selectRegion() {
-
- IRegion widgetRange= asWidgetRange(fFramePosition);
+
+ IRegion widgetRange = asWidgetRange(fFramePosition);
if (widgetRange == null) {
- leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED);
- return;
+ leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED);
+ return;
}
- StyledText text= fViewer.getTextWidget();
+ StyledText text = fViewer.getTextWidget();
if (text != null && !text.isDisposed()) {
- int start= widgetRange.getOffset();
- int end= widgetRange.getLength() + start;
+ int start = widgetRange.getOffset();
+ int end = widgetRange.getLength() + start;
text.setSelection(start, end);
}
}
-
+
private void updateCaret() {
-
- IRegion widgetRange= asWidgetRange(fFramePosition);
+
+ IRegion widgetRange = asWidgetRange(fFramePosition);
if (widgetRange == null) {
- leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED);
- return;
+ leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED);
+ return;
}
-
- int offset= widgetRange.getOffset() + fCaretOffset;
- StyledText text= fViewer.getTextWidget();
+
+ int offset = widgetRange.getOffset() + fCaretOffset;
+ StyledText text = fViewer.getTextWidget();
if (text != null && !text.isDisposed())
text.setCaretOffset(offset);
}
/*
* @see ModifyListener#modifyText(ModifyEvent)
- */
+ */
public void modifyText(ModifyEvent e) {
// reposition caret after StyledText
redrawRegion();
}
private static void handleException(Shell shell, Exception e) {
- String title= LinkedPositionMessages.getString("LinkedPositionUI.error.title"); //$NON-NLS-1$
+ String title = LinkedPositionMessages
+ .getString("LinkedPositionUI.error.title"); //$NON-NLS-1$
if (e instanceof CoreException)
- ExceptionHandler.handle((CoreException)e, shell, title, null);
+ ExceptionHandler.handle((CoreException) e, shell, title, null);
else if (e instanceof InvocationTargetException)
- ExceptionHandler.handle((InvocationTargetException)e, shell, title, null);
+ ExceptionHandler.handle((InvocationTargetException) e, shell,
+ title, null);
else {
MessageDialog.openError(shell, title, e.getMessage());
- PHPeclipsePlugin.log(e);
+ PHPeclipsePlugin.log(e);
}
}
/*
- * @see ITextInputListener#inputDocumentAboutToBeChanged(IDocument, IDocument)
+ * @see ITextInputListener#inputDocumentAboutToBeChanged(IDocument,
+ * IDocument)
*/
- public void inputDocumentAboutToBeChanged(IDocument oldInput, IDocument newInput) {
+ public void inputDocumentAboutToBeChanged(IDocument oldInput,
+ IDocument newInput) {
// 5326: leave linked mode on document change
- int flags= UNINSTALL | COMMIT | (oldInput.equals(newInput) ? 0 : DOCUMENT_CHANGED);
+ int flags = UNINSTALL | COMMIT
+ | (oldInput.equals(newInput) ? 0 : DOCUMENT_CHANGED);
leave(flags);
}
}
private static boolean includes(IRegion region, Position position) {
- return
- position.getOffset() >= region.getOffset() &&
- position.getOffset() + position.getLength() <= region.getOffset() + region.getLength();
+ return position.getOffset() >= region.getOffset()
+ && position.getOffset() + position.getLength() <= region
+ .getOffset()
+ + region.getLength();
}
/*
public void textChanged(TextEvent event) {
if (!fNeedRedraw)
return;
-
+
redrawRegion();
- fNeedRedraw= false;
+ fNeedRedraw = false;
}
/*
* @see org.eclipse.swt.events.ShellListener#shellClosed(org.eclipse.swt.events.ShellEvent)
*/
public void shellClosed(ShellEvent event) {
- leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED);
+ leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED);
}
/*
* @see org.eclipse.swt.events.ShellListener#shellDeactivated(org.eclipse.swt.events.ShellEvent)
*/
public void shellDeactivated(ShellEvent event) {
- leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED);
+ // don't deactivate on focus lost, since the proposal popups may take
+ // focus
+ // plus: it doesn't hurt if you can check with another window without
+ // losing linked mode
+ // since there is no intrusive popup sticking out.
+
+ // need to check first what happens on reentering based on an open
+ // action
+ // Seems to be no problem
+
+ // TODO check whether we can leave it or uncomment it after debugging
+ // PS: why DOCUMENT_CHANGED? We want to trigger a redraw! (Shell
+ // deactivated does not mean
+ // it is not visible any longer.
+ // leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED);
+
+ // Better:
+ // Check with content assistant and only leave if its not the proposal
+ // shell that took the
+ // focus away.
+
+ StyledText text;
+ Display display;
+
+ // if (fAssistant == null || fViewer == null || (text=
+ // fViewer.getTextWidget()) == null
+ // || (display= text.getDisplay()) == null || display.isDisposed()) {
+ if (fViewer == null || (text = fViewer.getTextWidget()) == null
+ || (display = text.getDisplay()) == null
+ || display.isDisposed()) {
+ leave(UNINSTALL | COMMIT);
+ } else {
+ // Post in UI thread since the assistant popup will only get the
+ // focus after we lose it.
+ display.asyncExec(new Runnable() {
+ public void run() {
+ // TODO add isDisposed / isUninstalled / hasLeft check? for
+ // now: check for content type,
+ // since it gets nullified in leave()
+ if (fIsActive) {// && (fAssistant == null ||
+ // !fAssistant.hasFocus())) {
+ leave(UNINSTALL | COMMIT);
+ }
+ }
+ });
+ }
}
/*
* @see org.eclipse.swt.events.ShellListener#shellIconified(org.eclipse.swt.events.ShellEvent)
*/
public void shellIconified(ShellEvent event) {
- leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED);
+ leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED);
}
-}
\ No newline at end of file
+}