comparison dwtx/jface/text/source/AnnotationBarHoverManager.d @ 159:7926b636c282

...
author Frank Benoit <benoit@tionex.de>
date Wed, 27 Aug 2008 01:57:58 +0200
parents a9566845f1cb
children 1a5b8f8129df
comparison
equal deleted inserted replaced
158:25f1f92fa3df 159:7926b636c282
72 import dwtx.jface.text.source.AnnotationPainter; // packageimport 72 import dwtx.jface.text.source.AnnotationPainter; // packageimport
73 import dwtx.jface.text.source.IAnnotationHoverExtension2; // packageimport 73 import dwtx.jface.text.source.IAnnotationHoverExtension2; // packageimport
74 import dwtx.jface.text.source.OverviewRuler; // packageimport 74 import dwtx.jface.text.source.OverviewRuler; // packageimport
75 import dwtx.jface.text.source.OverviewRulerHoverManager; // packageimport 75 import dwtx.jface.text.source.OverviewRulerHoverManager; // packageimport
76 76
77
78 import dwt.dwthelper.utils; 77 import dwt.dwthelper.utils;
79
80 import dwtx.dwtxhelper.Collection; 78 import dwtx.dwtxhelper.Collection;
81 79
82 import dwt.DWT; 80 import dwt.DWT;
83 import dwt.custom.StyledText; 81 import dwt.custom.StyledText;
84 import dwt.events.ControlEvent; 82 import dwt.events.ControlEvent;
842 840
843 public void cropToClosestMonitor(Rectangle bounds) { 841 public void cropToClosestMonitor(Rectangle bounds) {
844 outer.superGetInternalAccessor().cropToClosestMonitor(bounds); 842 outer.superGetInternalAccessor().cropToClosestMonitor(bounds);
845 } 843 }
846 844
847 public void setHoverEnrichMode(EnrichMode mode) { 845 public void setHoverEnrichMode(ITextViewerExtension8_EnrichMode mode) {
848 outer.superGetInternalAccessor().setHoverEnrichMode(mode); 846 outer.superGetInternalAccessor().setHoverEnrichMode(mode);
849 } 847 }
850 848
851 public bool getAllowMouseExit() { 849 public bool getAllowMouseExit() {
852 return fAllowMouseExit; 850 return fAllowMouseExit;