Mercurial > projects > dwt-addons
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; |