X-Git-Url: http://secure.phpeclipse.com diff --git a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/text/link/LinkedPositionUI.java b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/text/link/LinkedPositionUI.java deleted file mode 100644 index d9e63ed..0000000 --- a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/text/link/LinkedPositionUI.java +++ /dev/null @@ -1,974 +0,0 @@ -/******************************************************************************* - * 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 net.sourceforge.phpdt.internal.ui.util.ExceptionHandler; -import net.sourceforge.phpdt.ui.PreferenceConstants; -//import net.sourceforge.phpeclipse.PHPeclipsePlugin; -import net.sourceforge.phpeclipse.ui.WebUI; - -import org.eclipse.core.runtime.CoreException; -import org.eclipse.jface.dialogs.MessageDialog; -import org.eclipse.jface.preference.IPreferenceStore; -import org.eclipse.jface.preference.PreferenceConverter; -//incastrix -//import org.eclipse.jface.text.Assert; -import org.eclipse.core.runtime.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.ITextViewerExtension5; -import org.eclipse.jface.text.Position; -import org.eclipse.jface.text.Region; -import org.eclipse.jface.text.TextEvent; -import org.eclipse.jface.util.IPropertyChangeListener; -import org.eclipse.jface.util.PropertyChangeEvent; -import org.eclipse.swt.SWT; -import org.eclipse.swt.custom.StyledText; -import org.eclipse.swt.custom.VerifyKeyListener; -import org.eclipse.swt.events.ModifyEvent; -import org.eclipse.swt.events.ModifyListener; -import org.eclipse.swt.events.PaintEvent; -import org.eclipse.swt.events.PaintListener; -import org.eclipse.swt.events.ShellEvent; -import org.eclipse.swt.events.ShellListener; -import org.eclipse.swt.events.VerifyEvent; -import org.eclipse.swt.events.VerifyListener; -import org.eclipse.swt.graphics.Color; -import org.eclipse.swt.graphics.GC; -import org.eclipse.swt.graphics.Point; -import org.eclipse.swt.graphics.RGB; -import org.eclipse.swt.widgets.Display; -import org.eclipse.swt.widgets.Shell; - -/** - * A user interface for LinkedPositionManager, using - * ITextViewer. - */ -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 boolean doit; - - public ExitFlags(int flags, boolean doit) { - this.flags = flags; - this.doit = doit; - } - } - - public interface ExitPolicy { - 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 IPreferenceStore fgStore = WebUI - .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 IPositionUpdater fUpdater; - - private final String fPositionCategoryName; - - private Color fFrameColor; - - private int fFinalCaretOffset = -1; // no final caret offset - - private Position fFinalCaretPosition; - - private Position fFramePosition; - - 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 LinkedPositionManager. - * - * @param viewer - * the text viewer. - * @param manager - * the LinkedPositionManager managing a - * IDocument of the ITextViewer. - */ - public LinkedPositionUI(ITextViewer viewer, LinkedPositionManager manager) { - Assert.isNotNull(viewer); - Assert.isNotNull(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)) { - initializeHighlightColor(fViewer); - redrawRegion(); - } - } - - private void initializeHighlightColor(ITextViewer viewer) { - - if (fFrameColor != null) - fFrameColor.dispose(); - - StyledText text = viewer.getTextWidget(); - if (text != null) { - 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 null if there is no such information - * available. - */ - 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); - else - 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; -// } - - /** - * Sets the final position of the caret when the linked mode is exited - * 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 - * LinkedPositionManager. - */ - public void setFinalCaretOffset(int offset) { - fFinalCaretOffset = offset; - } - - /** - * Sets a CancelListener which is notified if the linked mode - * is exited unsuccessfully by hitting ESC. - */ - public void setCancelListener(ExitListener listener) { - fExitListener = listener; - } - - /** - * Sets an ExitPolicy which decides when and how the linked - * mode is exited. - */ - public void setExitPolicy(ExitPolicy policy) { - fExitPolicy = policy; - } - - /* - * @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; - } - - fCaretOffset = caretOffset; - } - - /** - * Enters the linked mode. The linked mode can be left by calling - * exit. - * - * @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(fPositionCategoryName); - document.addPositionUpdater(fUpdater); - - try { - if (fFinalCaretOffset != -1) { - fFinalCaretPosition = new Position(fFinalCaretOffset); - document - .addPosition(fPositionCategoryName, fFinalCaretPosition); - } - } catch (BadLocationException e) { - handleException(fViewer.getTextWidget().getShell(), e); - - } catch (BadPositionCategoryException e) { - WebUI.log(e); - Assert.isTrue(false); - } - - fViewer.addTextInputListener(this); - fViewer.addTextListener(this); - - ITextViewerExtension extension = (ITextViewerExtension) fViewer; - extension.prependVerifyKeyListener(this); - - StyledText text = fViewer.getTextWidget(); - text.addVerifyListener(this); - text.addModifyListener(this); - text.addPaintListener(this); - text.showSelection(); - - Shell shell = text.getShell(); - shell.addShellListener(this); - - 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); - if (fViewer instanceof ITextViewerExtension2) { - ((ITextViewerExtension2) fViewer).prependAutoEditStrategy( - fManager, fContentType); - } else { - Assert.isTrue(false); - } - - } catch (BadLocationException e) { - handleException(fViewer.getTextWidget().getShell(), e); - } - selectRegion(); - // triggerContentAssist(); - } - - /* - * @see net.sourceforge.phpdt.internal.ui.text.link.ILinkedPositionListener#exit(boolean) - */ - public void exit(int flags) { - leave(flags); - } - - /** - * Returns the cursor selection, after having entered the linked mode. - * enter() 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()); - } - - 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; - - if ((flags & UNINSTALL) != 0) - fManager.uninstall((flags & COMMIT) != 0); - - fgStore.removePropertyChangeListener(this); - - if (fFrameColor != null) { - fFrameColor.dispose(); - 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.removeShellListener(this); - - // 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; - - fViewer.removeTextListener(this); - fViewer.removeTextInputListener(this); - - try { - IDocument document = fViewer.getDocument(); - - 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 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(); - if ((offset >= 0) && (offset <= region.getLength())) - text.setSelection(offset, offset); - } - } - } - - document.removePositionUpdater(fUpdater); - document.removePositionCategory(fPositionCategoryName); - - if (fExitListener != null) - fExitListener.exit(((flags & COMMIT) != 0) - || ((flags & DOCUMENT_CHANGED) != 0)); - - } catch (BadPositionCategoryException e) { - WebUI.log(e); - Assert.isTrue(false); - } - - if ((flags & DOCUMENT_CHANGED) == 0) - text.redraw(); - } - - 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(); - - 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(); - - 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 { - 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 || !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); - if (exitFlags != null) { - leave(UNINSTALL | exitFlags.flags); - 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; - } - } - - if (event.stateMask == SWT.SHIFT) - previous(); - else - next(); - - event.doit = false; - break; - - // ENTER - 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; - break; - - // ESC - case 0x1B: - leave(UNINSTALL | COMMIT); - 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) - */ - public void verifyText(VerifyEvent event) { - if (!event.doit) - return; - - int offset = 0; - int length = 0; - - 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(); - - } else { - 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) { - if (fFramePosition == null) - return; - - IRegion widgetRange = asWidgetRange(fFramePosition); - if (widgetRange == null) { - leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED); - return; - } - - int offset = widgetRange.getOffset(); - int length = widgetRange.getLength(); - - 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; - gc.setForeground(fFrameColor); - gc.drawLine(x1, y, x2, y); - } - - protected IRegion asWidgetRange(Position position) { - if (fViewer instanceof ITextViewerExtension5) { - - ITextViewerExtension5 extension = (ITextViewerExtension5) fViewer; - return extension.modelRange2WidgetRange(new Region(position - .getOffset(), position.getLength())); - - } else { - - IRegion region = fViewer.getVisibleRegion(); - if (includes(region, position)) - 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); - - for (int i = 0; i <= length; i++) { - Point location = text.getLocationAtOffset(offset + i); - - if (location.x < minLocation.x) - minLocation.x = location.x; - if (location.y < minLocation.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); - - for (int i = 0; i <= length; i++) { - Point location = text.getLocationAtOffset(offset + i); - - if (location.x > maxLocation.x) - maxLocation.x = location.x; - if (location.y > maxLocation.y) - maxLocation.y = location.y; - } - - return maxLocation; - } - - private void redrawRegion() { - IRegion widgetRange = asWidgetRange(fFramePosition); - if (widgetRange == null) { - leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED); - return; - } - - StyledText text = fViewer.getTextWidget(); - if (text != null && !text.isDisposed()) - text.redrawRange(widgetRange.getOffset(), widgetRange.getLength(), - true); - } - - private void selectRegion() { - - IRegion widgetRange = asWidgetRange(fFramePosition); - if (widgetRange == null) { - leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED); - return; - } - - StyledText text = fViewer.getTextWidget(); - if (text != null && !text.isDisposed()) { - int start = widgetRange.getOffset(); - int end = widgetRange.getLength() + start; - text.setSelection(start, end); - } - } - - private void updateCaret() { - - IRegion widgetRange = asWidgetRange(fFramePosition); - if (widgetRange == null) { - leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED); - return; - } - - 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(); - updateCaret(); - } - - private static void handleException(Shell shell, Exception e) { - String title = LinkedPositionMessages - .getString("LinkedPositionUI.error.title"); //$NON-NLS-1$ - if (e instanceof CoreException) - ExceptionHandler.handle((CoreException) e, shell, title, null); - else if (e instanceof InvocationTargetException) - ExceptionHandler.handle((InvocationTargetException) e, shell, - title, null); - else { - MessageDialog.openError(shell, title, e.getMessage()); - WebUI.log(e); - } - } - - /* - * @see ITextInputListener#inputDocumentAboutToBeChanged(IDocument, - * IDocument) - */ - public void inputDocumentAboutToBeChanged(IDocument oldInput, - IDocument newInput) { - // 5326: leave linked mode on document change - int flags = UNINSTALL | COMMIT - | (oldInput.equals(newInput) ? 0 : DOCUMENT_CHANGED); - leave(flags); - } - - /* - * @see ITextInputListener#inputDocumentChanged(IDocument, IDocument) - */ - public void inputDocumentChanged(IDocument oldInput, IDocument newInput) { - } - - private static boolean includes(IRegion region, Position position) { - return position.getOffset() >= region.getOffset() - && position.getOffset() + position.getLength() <= region - .getOffset() - + region.getLength(); - } - - /* - * @see org.eclipse.jface.text.ITextListener#textChanged(TextEvent) - */ - public void textChanged(TextEvent event) { - if (!fNeedRedraw) - return; - - redrawRegion(); - fNeedRedraw = false; - } - - /* - * @see org.eclipse.swt.events.ShellListener#shellActivated(org.eclipse.swt.events.ShellEvent) - */ - public void shellActivated(ShellEvent event) { - } - - /* - * @see org.eclipse.swt.events.ShellListener#shellClosed(org.eclipse.swt.events.ShellEvent) - */ - public void shellClosed(ShellEvent event) { - leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED); - } - - /* - * @see org.eclipse.swt.events.ShellListener#shellDeactivated(org.eclipse.swt.events.ShellEvent) - */ - public void shellDeactivated(ShellEvent event) { - // 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#shellDeiconified(org.eclipse.swt.events.ShellEvent) - */ - public void shellDeiconified(ShellEvent event) { - } - - /* - * @see org.eclipse.swt.events.ShellListener#shellIconified(org.eclipse.swt.events.ShellEvent) - */ - public void shellIconified(ShellEvent event) { - leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED); - } - -}