--- /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.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;
+
+import org.eclipse.jface.viewers.IDoubleClickListener;
+
+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;
+
+
+/**
+ * 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);
+ }
+
+}