/** * Executes the given runnable in the Display thread */ protected void async(Runnable r) { Control control= getVerticalRuler().getControl(); if (!control.isDisposed()) { control.getDisplay().asyncExec(r); } }
/** * After this method has been executed the caller knows that any installed annotation hover has been installed. */ protected void ensureAnnotationHoverManagerInstalled() { if (fVerticalRuler != null && (fAnnotationHover != null || !isVerticalRulerOnlyShowingAnnotations()) && fVerticalRulerHoveringController == null && fHoverControlCreator != null) { fVerticalRulerHoveringController= new AnnotationBarHoverManager(fVerticalRuler, this, fAnnotationHover, fHoverControlCreator); fVerticalRulerHoveringController.install(fVerticalRuler.getControl()); fVerticalRulerHoveringController.getInternalAccessor().setInformationControlReplacer(new StickyHoverManager(this)); } }
/** * After this method has been executed the caller knows that any installed annotation hover has been installed. */ protected void ensureAnnotationHoverManagerInstalled() { if (fVerticalRuler != null && (fAnnotationHover != null || !isVerticalRulerOnlyShowingAnnotations()) && fVerticalRulerHoveringController == null && fHoverControlCreator != null) { fVerticalRulerHoveringController= new AnnotationBarHoverManager(fVerticalRuler, this, fAnnotationHover, fHoverControlCreator); fVerticalRulerHoveringController.install(fVerticalRuler.getControl()); fVerticalRulerHoveringController.getInternalAccessor().setInformationControlReplacer(new StickyHoverManager(this)); } }
if (fVerticalRuler != null && fIsVerticalRulerVisible) { int verticalRulerWidth= fVerticalRuler.getWidth(); final Control verticalRulerControl= fVerticalRuler.getControl(); int oldWidth= verticalRulerControl.getBounds().width; int rulerHeight= clArea.height - topTrim;
if (fVerticalRuler != null && fIsVerticalRulerVisible) { int verticalRulerWidth= fVerticalRuler.getWidth(); final Control verticalRulerControl= fVerticalRuler.getControl(); int oldWidth= verticalRulerControl.getBounds().width; int rulerHeight= clArea.height - topTrim;
manager.addMenuListener(getContextMenuListener()); Control rulerControl= fVerticalRuler.getControl(); fRulerContextMenu= manager.createContextMenu(rulerControl); rulerControl.setMenu(fRulerContextMenu);
manager.addMenuListener(getContextMenuListener()); Control rulerControl= fVerticalRuler.getControl(); fRulerContextMenu= manager.createContextMenu(rulerControl); rulerControl.setMenu(fRulerContextMenu);
manager.addMenuListener(getContextMenuListener()); Control rulerControl= fVerticalRuler.getControl(); fRulerContextMenu= manager.createContextMenu(rulerControl); rulerControl.setMenu(fRulerContextMenu);