--- /dev/null
+/*******************************************************************************
+ * Copyright (c) 2000, 2006 IBM Corporation and others.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * IBM Corporation - initial API and implementation
+ *******************************************************************************/
+package net.sourceforge.phpdt.internal.ui.text.java.hover;
+
+import java.util.ArrayList;
+import java.util.Iterator;
+import java.util.List;
+
+import org.eclipse.jface.text.AbstractInformationControlManager;
+import org.eclipse.jface.text.DefaultInformationControl;
+import org.eclipse.jface.text.IInformationControl;
+import org.eclipse.jface.text.IInformationControlCreator;
+import org.eclipse.jface.text.IInformationControlExtension;
+import org.eclipse.jface.text.IInformationControlExtension2;
+import org.eclipse.jface.text.IRegion;
+import org.eclipse.jface.text.IViewportListener;
+import org.eclipse.jface.text.Position;
+import org.eclipse.jface.text.Region;
+import org.eclipse.jface.text.TextViewer;
+import org.eclipse.jface.text.source.Annotation;
+import org.eclipse.jface.text.source.IAnnotationAccess;
+import org.eclipse.jface.text.source.IAnnotationAccessExtension;
+import org.eclipse.jface.text.source.IAnnotationModel;
+import org.eclipse.jface.text.source.ISourceViewer;
+import org.eclipse.jface.text.source.IVerticalRulerInfo;
+import org.eclipse.jface.text.source.IVerticalRulerListener;
+import org.eclipse.jface.text.source.VerticalRulerEvent;
+import org.eclipse.jface.viewers.IDoubleClickListener;
+import org.eclipse.swt.SWT;
+import org.eclipse.swt.custom.StyleRange;
+import org.eclipse.swt.custom.StyledText;
+import org.eclipse.swt.events.DisposeEvent;
+import org.eclipse.swt.events.DisposeListener;
+import org.eclipse.swt.events.FocusListener;
+import org.eclipse.swt.events.MenuEvent;
+import org.eclipse.swt.events.MenuListener;
+import org.eclipse.swt.events.MouseAdapter;
+import org.eclipse.swt.events.MouseEvent;
+import org.eclipse.swt.events.MouseTrackAdapter;
+import org.eclipse.swt.events.MouseTrackListener;
+import org.eclipse.swt.events.PaintEvent;
+import org.eclipse.swt.events.PaintListener;
+import org.eclipse.swt.graphics.Color;
+import org.eclipse.swt.graphics.Cursor;
+import org.eclipse.swt.graphics.Point;
+import org.eclipse.swt.graphics.Rectangle;
+import org.eclipse.swt.layout.GridData;
+import org.eclipse.swt.layout.GridLayout;
+import org.eclipse.swt.widgets.Canvas;
+import org.eclipse.swt.widgets.Composite;
+import org.eclipse.swt.widgets.Control;
+import org.eclipse.swt.widgets.Display;
+import org.eclipse.swt.widgets.Event;
+import org.eclipse.swt.widgets.Layout;
+import org.eclipse.swt.widgets.Listener;
+import org.eclipse.swt.widgets.Menu;
+import org.eclipse.swt.widgets.Shell;
+import org.eclipse.swt.widgets.Widget;
+
+/**
+ * A control that can display a number of annotations. The control can decide
+ * how it layouts the annotations to present them to the user.
+ * <p>
+ * This class got moved here form Platform Text since it was not used there and
+ * caused discouraged access warnings. It will be moved down again once
+ * annotation roll-over support is provided by Platform Text.
+ * </p>
+ * <p>
+ * Each annotation can have its custom context menu and hover.
+ * </p>
+ *
+ * @since 3.2
+ */
+public class AnnotationExpansionControl implements IInformationControl,
+ IInformationControlExtension, IInformationControlExtension2 {
+
+ public interface ICallback {
+ void run(IInformationControlExtension2 control);
+ }
+
+ /**
+ * Input used by the control to display the annotations. TODO move to
+ * top-level class TODO encapsulate fields
+ *
+ * @since 3.0
+ */
+ public static class AnnotationHoverInput {
+ public Annotation[] fAnnotations;
+
+ public ISourceViewer fViewer;
+
+ public IVerticalRulerInfo fRulerInfo;
+
+ public IVerticalRulerListener fAnnotationListener;
+
+ public IDoubleClickListener fDoubleClickListener;
+
+ public ICallback redoAction;
+
+ public IAnnotationModel model;
+ }
+
+ private final class Item {
+ Annotation fAnnotation;
+
+ Canvas canvas;
+
+ StyleRange[] oldStyles;
+
+ public void selected() {
+ Display disp = fShell.getDisplay();
+ canvas.setCursor(fHandCursor);
+ // TODO: shade - for now: set grey background
+ canvas.setBackground(getSelectionColor(disp));
+
+ // highlight the viewer background at its position
+ oldStyles = setViewerBackground(fAnnotation);
+
+ // set the selection
+ fSelection = this;
+
+ if (fHoverManager != null)
+ fHoverManager.showInformation();
+
+ if (fInput.fAnnotationListener != null) {
+ VerticalRulerEvent event = new VerticalRulerEvent(fAnnotation);
+ fInput.fAnnotationListener.annotationSelected(event);
+ }
+
+ }
+
+ public void defaultSelected() {
+ if (fInput.fAnnotationListener != null) {
+ VerticalRulerEvent event = new VerticalRulerEvent(fAnnotation);
+ fInput.fAnnotationListener.annotationDefaultSelected(event);
+ }
+
+ dispose();
+ }
+
+ public void showContextMenu(Menu menu) {
+ if (fInput.fAnnotationListener != null) {
+ VerticalRulerEvent event = new VerticalRulerEvent(fAnnotation);
+ fInput.fAnnotationListener.annotationContextMenuAboutToShow(
+ event, menu);
+ }
+ }
+
+ public void deselect() {
+ // hide the popup
+ // fHoverManager.disposeInformationControl();
+
+ // deselect
+ fSelection = null;
+
+ resetViewerBackground(oldStyles);
+ oldStyles = null;
+
+ Display disp = fShell.getDisplay();
+ canvas.setCursor(null);
+ // TODO: remove shading - for now: set standard background
+ canvas
+ .setBackground(disp
+ .getSystemColor(SWT.COLOR_INFO_BACKGROUND));
+
+ }
+
+ }
+
+ /**
+ * Disposes of an item
+ */
+ private final static class MyDisposeListener implements DisposeListener {
+ /*
+ * @see org.eclipse.swt.events.DisposeListener#widgetDisposed(org.eclipse.swt.events.DisposeEvent)
+ */
+ public void widgetDisposed(DisposeEvent e) {
+ Item item = (Item) ((Widget) e.getSource()).getData();
+ item.deselect();
+ item.canvas = null;
+ item.fAnnotation = null;
+ item.oldStyles = null;
+
+ ((Widget) e.getSource()).setData(null);
+ }
+ }
+
+ /**
+ * Listener on context menu invocation on the items
+ */
+ private final class MyMenuDetectListener implements Listener {
+ /*
+ * @see org.eclipse.swt.widgets.Listener#handleEvent(org.eclipse.swt.widgets.Event)
+ */
+ public void handleEvent(Event event) {
+ if (event.type == SWT.MenuDetect) {
+ // TODO: show per-item menu
+ // for now: show ruler context menu
+ if (fInput != null) {
+ Control ruler = fInput.fRulerInfo.getControl();
+ if (ruler != null && !ruler.isDisposed()) {
+ Menu menu = ruler.getMenu();
+ if (menu != null && !menu.isDisposed()) {
+ menu.setLocation(event.x, event.y);
+ menu.addMenuListener(new MenuListener() {
+
+ public void menuHidden(MenuEvent e) {
+ dispose();
+ }
+
+ public void menuShown(MenuEvent e) {
+ }
+
+ });
+ menu.setVisible(true);
+ }
+ }
+ }
+ }
+ }
+ }
+
+ /**
+ * Listener on mouse events on the items.
+ */
+ private final class MyMouseListener extends MouseAdapter {
+ /*
+ * @see org.eclipse.swt.events.MouseListener#mouseDoubleClick(org.eclipse.swt.events.MouseEvent)
+ */
+ public void mouseDoubleClick(MouseEvent e) {
+ Item item = (Item) ((Widget) e.getSource()).getData();
+ if (e.button == 1 && item.fAnnotation == fInput.fAnnotations[0]
+ && fInput.fDoubleClickListener != null) {
+ fInput.fDoubleClickListener.doubleClick(null);
+ // special code for JDT to renew the annotation set.
+ if (fInput.redoAction != null)
+ fInput.redoAction.run(AnnotationExpansionControl.this);
+ }
+ // dispose();
+ // TODO special action to invoke double-click action on the vertical
+ // ruler
+ // how about
+ // Canvas can= (Canvas) e.getSource();
+ // Annotation a= (Annotation) can.getData();
+ // if (a != null) {
+ // a.getDoubleClickAction().run();
+ // }
+ }
+
+ /*
+ * @see org.eclipse.swt.events.MouseListener#mouseUp(org.eclipse.swt.events.MouseEvent)
+ */
+ public void mouseUp(MouseEvent e) {
+ Item item = (Item) ((Widget) e.getSource()).getData();
+ // TODO for now, to make double click work: disable single click on
+ // the first item
+ // disable later when the annotationlistener selectively handles
+ // input
+ if (item != null && e.button == 1) // && item.fAnnotation !=
+ // fInput.fAnnotations[0])
+ item.defaultSelected();
+ }
+
+ /*
+ * @see org.eclipse.swt.events.MouseAdapter#mouseDown(org.eclipse.swt.events.MouseEvent)
+ */
+ public void mouseDown(MouseEvent e) {
+ super.mouseDown(e);
+ }
+ }
+
+ /**
+ * Listener on mouse track events on the items.
+ */
+ private final class MyMouseTrackListener implements MouseTrackListener {
+ /*
+ * @see org.eclipse.swt.events.MouseTrackListener#mouseEnter(org.eclipse.swt.events.MouseEvent)
+ */
+ public void mouseEnter(MouseEvent e) {
+ Item item = (Item) ((Widget) e.getSource()).getData();
+ if (item != null)
+ item.selected();
+ }
+
+ /*
+ * @see org.eclipse.swt.events.MouseTrackListener#mouseExit(org.eclipse.swt.events.MouseEvent)
+ */
+ public void mouseExit(MouseEvent e) {
+
+ Item item = (Item) ((Widget) e.getSource()).getData();
+ if (item != null)
+ item.deselect();
+
+ // if the event lies outside the entire popup, dispose
+ org.eclipse.swt.graphics.Region region = fShell.getRegion();
+ Canvas can = (Canvas) e.getSource();
+ Point p = can.toDisplay(e.x, e.y);
+ if (region == null) {
+ Rectangle bounds = fShell.getBounds();
+ // p= fShell.toControl(p);
+ if (!bounds.contains(p))
+ dispose();
+ } else {
+ p = fShell.toControl(p);
+ if (!region.contains(p))
+ dispose();
+ }
+
+ }
+
+ /*
+ * @see org.eclipse.swt.events.MouseTrackListener#mouseHover(org.eclipse.swt.events.MouseEvent)
+ */
+ public void mouseHover(MouseEvent e) {
+ if (fHoverManager == null) {
+ fHoverManager = new HoverManager();
+ fHoverManager.takesFocusWhenVisible(false);
+ fHoverManager.install(fComposite);
+ fHoverManager.showInformation();
+ }
+ }
+ }
+
+ /**
+ *
+ *
+ * @since 3.0
+ */
+ public class LinearLayouter {
+
+ private static final int ANNOTATION_SIZE = 14;
+
+ private static final int BORDER_WIDTH = 2;
+
+ public Layout getLayout(int itemCount) {
+ // simple layout: a row of items
+ GridLayout layout = new GridLayout(itemCount, true);
+ layout.horizontalSpacing = 1;
+ layout.verticalSpacing = 0;
+ layout.marginHeight = 1;
+ layout.marginWidth = 1;
+ return layout;
+ }
+
+ public Object getLayoutData() {
+ GridData gridData = new GridData(
+ ANNOTATION_SIZE + 2 * BORDER_WIDTH, ANNOTATION_SIZE + 2
+ * BORDER_WIDTH);
+ gridData.horizontalAlignment = GridData.CENTER;
+ gridData.verticalAlignment = GridData.CENTER;
+ return gridData;
+ }
+
+ public int getAnnotationSize() {
+ return ANNOTATION_SIZE;
+ }
+
+ public int getBorderWidth() {
+ return BORDER_WIDTH;
+ }
+
+ public org.eclipse.swt.graphics.Region getShellRegion(int itemCount) {
+ // no special region - set to null for default shell size
+ return null;
+ }
+
+ }
+
+ /**
+ * Listener on paint events on the items. Paints the annotation image on the
+ * given <code>GC</code>.
+ */
+ private final class MyPaintListener implements PaintListener {
+ /*
+ * @see org.eclipse.swt.events.PaintListener#paintControl(org.eclipse.swt.events.PaintEvent)
+ */
+ public void paintControl(PaintEvent e) {
+ Canvas can = (Canvas) e.getSource();
+ Annotation a = ((Item) can.getData()).fAnnotation;
+ if (a != null) {
+ Rectangle rect = new Rectangle(fLayouter.getBorderWidth(),
+ fLayouter.getBorderWidth(), fLayouter
+ .getAnnotationSize(), fLayouter
+ .getAnnotationSize());
+ if (fAnnotationAccessExtension != null)
+ fAnnotationAccessExtension.paint(a, e.gc, can, rect);
+ }
+ }
+ }
+
+ /**
+ * Our own private hover manager used to shop per-item pop-ups.
+ */
+ private final class HoverManager extends AbstractInformationControlManager {
+
+ /**
+ *
+ */
+ public HoverManager() {
+ super(new IInformationControlCreator() {
+ public IInformationControl createInformationControl(Shell parent) {
+ return new DefaultInformationControl(parent);
+ }
+ });
+
+ setMargins(5, 10);
+ setAnchor(ANCHOR_BOTTOM);
+ setFallbackAnchors(new Anchor[] { ANCHOR_BOTTOM, ANCHOR_LEFT,
+ ANCHOR_RIGHT });
+ }
+
+ /*
+ * @see org.eclipse.jface.text.AbstractInformationControlManager#computeInformation()
+ */
+ protected void computeInformation() {
+ if (fSelection != null) {
+ Rectangle subjectArea = fSelection.canvas.getBounds();
+ Annotation annotation = fSelection.fAnnotation;
+ String msg;
+ if (annotation != null)
+ msg = annotation.getText();
+ else
+ msg = null;
+
+ setInformation(msg, subjectArea);
+ }
+ }
+
+ }
+
+ /** Model data. */
+ protected AnnotationHoverInput fInput;
+
+ /** The control's shell */
+ private Shell fShell;
+
+ /** The composite combining all the items. */
+ protected Composite fComposite;
+
+ /** The hand cursor. */
+ private Cursor fHandCursor;
+
+ /** The currently selected item, or <code>null</code> if none is selected. */
+ private Item fSelection;
+
+ /** The hover manager for the per-item hovers. */
+ private HoverManager fHoverManager;
+
+ /** The annotation access extension. */
+ private IAnnotationAccessExtension fAnnotationAccessExtension;
+
+ /* listener legion */
+ private final MyPaintListener fPaintListener;
+
+ private final MyMouseTrackListener fMouseTrackListener;
+
+ private final MyMouseListener fMouseListener;
+
+ private final MyMenuDetectListener fMenuDetectListener;
+
+ private final DisposeListener fDisposeListener;
+
+ private final IViewportListener fViewportListener;
+
+ private LinearLayouter fLayouter;
+
+ /**
+ * Creates a new control.
+ *
+ * @param parent
+ * @param shellStyle
+ * @param access
+ */
+ public AnnotationExpansionControl(Shell parent, int shellStyle,
+ IAnnotationAccess access) {
+ fPaintListener = new MyPaintListener();
+ fMouseTrackListener = new MyMouseTrackListener();
+ fMouseListener = new MyMouseListener();
+ fMenuDetectListener = new MyMenuDetectListener();
+ fDisposeListener = new MyDisposeListener();
+ fViewportListener = new IViewportListener() {
+
+ public void viewportChanged(int verticalOffset) {
+ dispose();
+ }
+
+ };
+ fLayouter = new LinearLayouter();
+
+ if (access instanceof IAnnotationAccessExtension)
+ fAnnotationAccessExtension = (IAnnotationAccessExtension) access;
+
+ fShell = new Shell(parent, shellStyle | SWT.NO_FOCUS | SWT.ON_TOP);
+ Display display = fShell.getDisplay();
+ fShell.setBackground(display.getSystemColor(SWT.COLOR_BLACK));
+ fComposite = new Composite(fShell, SWT.NO_FOCUS | SWT.NO_REDRAW_RESIZE
+ | SWT.NO_TRIM);
+ // fComposite= new Composite(fShell, SWT.NO_FOCUS | SWT.NO_REDRAW_RESIZE
+ // | SWT.NO_TRIM | SWT.V_SCROLL);
+
+ GridLayout layout = new GridLayout(1, true);
+ layout.marginHeight = 0;
+ layout.marginWidth = 0;
+ fShell.setLayout(layout);
+
+ GridData data = new GridData(GridData.FILL_BOTH);
+ data.heightHint = fLayouter.getAnnotationSize() + 2
+ * fLayouter.getBorderWidth() + 4;
+ fComposite.setLayoutData(data);
+ fComposite.addMouseTrackListener(new MouseTrackAdapter() {
+
+ public void mouseExit(MouseEvent e) {
+ if (fComposite == null)
+ return;
+ Control[] children = fComposite.getChildren();
+ Rectangle bounds = null;
+ for (int i = 0; i < children.length; i++) {
+ if (bounds == null)
+ bounds = children[i].getBounds();
+ else
+ bounds.add(children[i].getBounds());
+ if (bounds.contains(e.x, e.y))
+ return;
+ }
+
+ // if none of the children contains the event, we leave the
+ // popup
+ dispose();
+ }
+
+ });
+
+ // fComposite.getVerticalBar().addListener(SWT.Selection, new Listener()
+ // {
+ //
+ // public void handleEvent(Event event) {
+ // Rectangle bounds= fShell.getBounds();
+ // int x= bounds.x - fLayouter.getAnnotationSize() -
+ // fLayouter.getBorderWidth();
+ // int y= bounds.y;
+ // fShell.setBounds(x, y, bounds.width, bounds.height);
+ // }
+ //
+ // });
+
+ fHandCursor = new Cursor(display, SWT.CURSOR_HAND);
+ fShell.setCursor(fHandCursor);
+ fComposite.setCursor(fHandCursor);
+
+ setInfoSystemColor();
+ }
+
+ private void setInfoSystemColor() {
+ Display display = fShell.getDisplay();
+ setForegroundColor(display.getSystemColor(SWT.COLOR_INFO_FOREGROUND));
+ setBackgroundColor(display.getSystemColor(SWT.COLOR_INFO_BACKGROUND));
+ }
+
+ /*
+ * @see org.eclipse.jface.text.IInformationControl#setInformation(java.lang.String)
+ */
+ public void setInformation(String information) {
+ setInput(null);
+ }
+
+ /*
+ * @see org.eclipse.jface.text.IInformationControlExtension2#setInput(java.lang.Object)
+ */
+ public void setInput(Object input) {
+ if (fInput != null && fInput.fViewer != null)
+ fInput.fViewer.removeViewportListener(fViewportListener);
+
+ if (input instanceof AnnotationHoverInput)
+ fInput = (AnnotationHoverInput) input;
+ else
+ fInput = null;
+
+ inputChanged(fInput, null);
+ }
+
+ protected void inputChanged(Object newInput, Object newSelection) {
+ refresh();
+ }
+
+ protected void refresh() {
+ adjustItemNumber();
+
+ if (fInput == null)
+ return;
+
+ if (fInput.fAnnotations == null)
+ return;
+
+ if (fInput.fViewer != null)
+ fInput.fViewer.addViewportListener(fViewportListener);
+
+ fShell.setRegion(fLayouter.getShellRegion(fInput.fAnnotations.length));
+
+ Layout layout = fLayouter.getLayout(fInput.fAnnotations.length);
+ fComposite.setLayout(layout);
+
+ Control[] children = fComposite.getChildren();
+ for (int i = 0; i < fInput.fAnnotations.length; i++) {
+ Canvas canvas = (Canvas) children[i];
+ Item item = new Item();
+ item.canvas = canvas;
+ item.fAnnotation = fInput.fAnnotations[i];
+ canvas.setData(item);
+ canvas.redraw();
+ }
+
+ }
+
+ protected void adjustItemNumber() {
+ if (fComposite == null)
+ return;
+
+ Control[] children = fComposite.getChildren();
+ int oldSize = children.length;
+ int newSize = fInput == null ? 0 : fInput.fAnnotations.length;
+
+ Display display = fShell.getDisplay();
+
+ // add missing items
+ for (int i = oldSize; i < newSize; i++) {
+ Canvas canvas = new Canvas(fComposite, SWT.NONE);
+ Object gridData = fLayouter.getLayoutData();
+ canvas.setLayoutData(gridData);
+ canvas.setBackground(display
+ .getSystemColor(SWT.COLOR_INFO_BACKGROUND));
+
+ canvas.addPaintListener(fPaintListener);
+
+ canvas.addMouseTrackListener(fMouseTrackListener);
+
+ canvas.addMouseListener(fMouseListener);
+
+ canvas.addListener(SWT.MenuDetect, fMenuDetectListener);
+
+ canvas.addDisposeListener(fDisposeListener);
+ }
+
+ // dispose of exceeding resources
+ for (int i = oldSize; i > newSize; i--) {
+ Item item = (Item) children[i - 1].getData();
+ item.deselect();
+ children[i - 1].dispose();
+ }
+
+ }
+
+ /*
+ * @see IInformationControl#setVisible(boolean)
+ */
+ public void setVisible(boolean visible) {
+ fShell.setVisible(visible);
+ }
+
+ /*
+ * @see IInformationControl#dispose()
+ */
+ public void dispose() {
+ if (fShell != null) {
+ if (!fShell.isDisposed())
+ fShell.dispose();
+ fShell = null;
+ fComposite = null;
+ if (fHandCursor != null)
+ fHandCursor.dispose();
+ fHandCursor = null;
+ if (fHoverManager != null)
+ fHoverManager.dispose();
+ fHoverManager = null;
+ fSelection = null;
+ }
+ }
+
+ /*
+ * @see org.eclipse.jface.text.IInformationControlExtension#hasContents()
+ */
+ public boolean hasContents() {
+ return fInput.fAnnotations != null && fInput.fAnnotations.length > 0;
+ }
+
+ /*
+ * @see org.eclipse.jface.text.IInformationControl#setSizeConstraints(int,
+ * int)
+ */
+ public void setSizeConstraints(int maxWidth, int maxHeight) {
+ // fMaxWidth= maxWidth;
+ // fMaxHeight= maxHeight;
+ }
+
+ /*
+ * @see org.eclipse.jface.text.IInformationControl#computeSizeHint()
+ */
+ public Point computeSizeHint() {
+ return fShell.computeSize(SWT.DEFAULT, SWT.DEFAULT);
+ }
+
+ /*
+ * @see IInformationControl#setLocation(Point)
+ */
+ public void setLocation(Point location) {
+ fShell.setLocation(location);
+ }
+
+ /*
+ * @see IInformationControl#setSize(int, int)
+ */
+ public void setSize(int width, int height) {
+ fShell.setSize(width, height);
+ }
+
+ /*
+ * @see IInformationControl#addDisposeListener(DisposeListener)
+ */
+ public void addDisposeListener(DisposeListener listener) {
+ fShell.addDisposeListener(listener);
+ }
+
+ /*
+ * @see IInformationControl#removeDisposeListener(DisposeListener)
+ */
+ public void removeDisposeListener(DisposeListener listener) {
+ fShell.removeDisposeListener(listener);
+ }
+
+ /*
+ * @see IInformationControl#setForegroundColor(Color)
+ */
+ public void setForegroundColor(Color foreground) {
+ fComposite.setForeground(foreground);
+ }
+
+ /*
+ * @see IInformationControl#setBackgroundColor(Color)
+ */
+ public void setBackgroundColor(Color background) {
+ fComposite.setBackground(background);
+ }
+
+ /*
+ * @see IInformationControl#isFocusControl()
+ */
+ public boolean isFocusControl() {
+ if (fComposite.isFocusControl())
+ return true;
+
+ Control[] children = fComposite.getChildren();
+ for (int i = 0; i < children.length; i++) {
+ if (children[i].isFocusControl())
+ return true;
+ }
+ return false;
+ }
+
+ /*
+ * @see IInformationControl#setFocus()
+ */
+ public void setFocus() {
+ fShell.forceFocus();
+ }
+
+ /*
+ * @see IInformationControl#addFocusListener(FocusListener)
+ */
+ public void addFocusListener(FocusListener listener) {
+ fShell.addFocusListener(listener);
+ }
+
+ /*
+ * @see IInformationControl#removeFocusListener(FocusListener)
+ */
+ public void removeFocusListener(FocusListener listener) {
+ fShell.removeFocusListener(listener);
+ }
+
+ private StyleRange[] setViewerBackground(Annotation annotation) {
+ StyledText text = fInput.fViewer.getTextWidget();
+ if (text == null || text.isDisposed())
+ return null;
+
+ Display disp = text.getDisplay();
+
+ Position pos = fInput.model.getPosition(annotation);
+ if (pos == null)
+ return null;
+
+ IRegion region = ((TextViewer) fInput.fViewer)
+ .modelRange2WidgetRange(new Region(pos.offset, pos.length));
+ if (region == null)
+ return null;
+
+ StyleRange[] ranges = text.getStyleRanges(region.getOffset(), region
+ .getLength());
+
+ List undoRanges = new ArrayList(ranges.length);
+ for (int i = 0; i < ranges.length; i++) {
+ undoRanges.add(ranges[i].clone());
+ }
+
+ int offset = region.getOffset();
+ StyleRange current = undoRanges.size() > 0 ? (StyleRange) undoRanges
+ .get(0) : null;
+ int curStart = current != null ? current.start : region.getOffset()
+ + region.getLength();
+ int curEnd = current != null ? current.start + current.length : -1;
+ int index = 0;
+
+ // fill no-style regions
+ while (curEnd < region.getOffset() + region.getLength()) {
+ // add empty range
+ if (curStart > offset) {
+ StyleRange undoRange = new StyleRange(offset,
+ curStart - offset, null, null);
+ undoRanges.add(index, undoRange);
+ index++;
+ }
+
+ // step
+ index++;
+ if (index < undoRanges.size()) {
+ offset = curEnd;
+ current = (StyleRange) undoRanges.get(index);
+ curStart = current.start;
+ curEnd = current.start + current.length;
+ } else if (index == undoRanges.size()) {
+ // last one
+ offset = curEnd;
+ current = null;
+ curStart = region.getOffset() + region.getLength();
+ curEnd = -1;
+ } else
+ curEnd = region.getOffset() + region.getLength();
+ }
+
+ // create modified styles (with background)
+ List shadedRanges = new ArrayList(undoRanges.size());
+ for (Iterator it = undoRanges.iterator(); it.hasNext();) {
+ StyleRange range = (StyleRange) ((StyleRange) it.next()).clone();
+ shadedRanges.add(range);
+ range.background = getHighlightColor(disp);
+ }
+
+ // set the ranges one by one
+ for (Iterator iter = shadedRanges.iterator(); iter.hasNext();) {
+ text.setStyleRange((StyleRange) iter.next());
+
+ }
+
+ return (StyleRange[]) undoRanges.toArray(undoRanges
+ .toArray(new StyleRange[0]));
+ }
+
+ private void resetViewerBackground(StyleRange[] oldRanges) {
+
+ if (oldRanges == null)
+ return;
+
+ if (fInput == null)
+ return;
+
+ StyledText text = fInput.fViewer.getTextWidget();
+ if (text == null || text.isDisposed())
+ return;
+
+ // set the ranges one by one
+ for (int i = 0; i < oldRanges.length; i++) {
+ text.setStyleRange(oldRanges[i]);
+ }
+ }
+
+ private Color getHighlightColor(Display disp) {
+ return disp.getSystemColor(SWT.COLOR_GRAY);
+ }
+
+ private Color getSelectionColor(Display disp) {
+ return disp.getSystemColor(SWT.COLOR_GRAY);
+ }
+
+}