+++ /dev/null
-/*******************************************************************************
- * 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 <code>LinkedPositionManager</code>, using
- * <code>ITextViewer</code>.
- */
-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 <code>LinkedPositionManager</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;
-
- 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 <code>null</code> 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
- * <code>LinkedPositionManager</code>.
- */
- public void setFinalCaretOffset(int offset) {
- fFinalCaretOffset = offset;
- }
-
- /**
- * Sets a <code>CancelListener</code> which is notified if the linked mode
- * is exited unsuccessfully by hitting ESC.
- */
- public void setCancelListener(ExitListener listener) {
- fExitListener = listener;
- }
-
- /**
- * Sets an <code>ExitPolicy</code> 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
- * <code>exit</code>.
- *
- * @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.
- * <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());
- }
-
- 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);
- }
-
-}