Make PHPeclipse compile correctly under Eclipse Version: 3.2.0 Build id: I20060519...
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / ui / text / java / hover / AnnotationExpansionControl.java
diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/text/java/hover/AnnotationExpansionControl.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/text/java/hover/AnnotationExpansionControl.java
new file mode 100644 (file)
index 0000000..5f2d7c0
--- /dev/null
@@ -0,0 +1,849 @@
+/*******************************************************************************
+ * 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);
+       }
+
+}