comparison dwtx/jface/text/AbstractHoverInformationControlManager.d @ 162:1a5b8f8129df

...
author Frank Benoit <benoit@tionex.de>
date Mon, 08 Sep 2008 00:51:37 +0200
parents 7926b636c282
children c3583c6ec027
comparison
equal deleted inserted replaced
161:f8d52b926852 162:1a5b8f8129df
59 import dwtx.jface.text.IRegion; // packageimport 59 import dwtx.jface.text.IRegion; // packageimport
60 import dwtx.jface.text.IInformationControlExtension2; // packageimport 60 import dwtx.jface.text.IInformationControlExtension2; // packageimport
61 import dwtx.jface.text.IDocumentExtension4; // packageimport 61 import dwtx.jface.text.IDocumentExtension4; // packageimport
62 import dwtx.jface.text.IDocumentExtension2; // packageimport 62 import dwtx.jface.text.IDocumentExtension2; // packageimport
63 import dwtx.jface.text.IDocumentPartitionerExtension2; // packageimport 63 import dwtx.jface.text.IDocumentPartitionerExtension2; // packageimport
64 import dwtx.jface.text.Assert; // packageimport
65 import dwtx.jface.text.DefaultInformationControl; // packageimport 64 import dwtx.jface.text.DefaultInformationControl; // packageimport
66 import dwtx.jface.text.IWidgetTokenOwnerExtension; // packageimport 65 import dwtx.jface.text.IWidgetTokenOwnerExtension; // packageimport
67 import dwtx.jface.text.DocumentClone; // packageimport 66 import dwtx.jface.text.DocumentClone; // packageimport
68 import dwtx.jface.text.DefaultUndoManager; // packageimport 67 import dwtx.jface.text.DefaultUndoManager; // packageimport
69 import dwtx.jface.text.IFindReplaceTarget; // packageimport 68 import dwtx.jface.text.IFindReplaceTarget; // packageimport
151 import dwtx.jface.text.DocumentRewriteSessionType; // packageimport 150 import dwtx.jface.text.DocumentRewriteSessionType; // packageimport
152 import dwtx.jface.text.TextAttribute; // packageimport 151 import dwtx.jface.text.TextAttribute; // packageimport
153 import dwtx.jface.text.ITextViewerExtension4; // packageimport 152 import dwtx.jface.text.ITextViewerExtension4; // packageimport
154 import dwtx.jface.text.ITypedRegion; // packageimport 153 import dwtx.jface.text.ITypedRegion; // packageimport
155 154
156
157 import dwt.dwthelper.utils; 155 import dwt.dwthelper.utils;
158 156 import tango.text.convert.Format;
159
160
161 157
162 import dwt.DWT; 158 import dwt.DWT;
163 import dwt.events.ControlEvent; 159 import dwt.events.ControlEvent;
164 import dwt.events.ControlListener; 160 import dwt.events.ControlListener;
165 import dwt.events.KeyEvent; 161 import dwt.events.KeyEvent;
638 */ 634 */
639 public void mouseHover(MouseEvent event) { 635 public void mouseHover(MouseEvent event) {
640 if (fIsComputing || fIsInRestartMode || 636 if (fIsComputing || fIsInRestartMode ||
641 (fSubjectControl !is null && !fSubjectControl.isDisposed() && fSubjectControl.getShell() !is fSubjectControl.getShell().getDisplay().getActiveShell())) { 637 (fSubjectControl !is null && !fSubjectControl.isDisposed() && fSubjectControl.getShell() !is fSubjectControl.getShell().getDisplay().getActiveShell())) {
642 if (DEBUG) 638 if (DEBUG)
643 System.out_.println("AbstractHoverInformationControlManager...mouseHover: @ " + event.x + "/" + event.y + " : hover cancelled: fIsComputing= " + fIsComputing + ", fIsInRestartMode= " + fIsInRestartMode); //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$ //$NON-NLS-4$ 639 System.out_.println(Format("AbstractHoverInformationControlManager...mouseHover: @ {}/{} : hover cancelled: fIsComputing= {}, fIsInRestartMode= {}", event.x, event.y, fIsComputing, fIsInRestartMode)); //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$ //$NON-NLS-4$
644 return; 640 return;
645 } 641 }
646 642
647 fIsInRestartMode= true; 643 fIsInRestartMode= true;
648 fIsComputing= true; 644 fIsComputing= true;
1090 * @return the location of the most recent mouse hover event 1086 * @return the location of the most recent mouse hover event
1091 */ 1087 */
1092 protected Point getHoverEventLocation() { 1088 protected Point getHoverEventLocation() {
1093 return fHoverEvent !is null ? new Point(fHoverEvent.x, fHoverEvent.y) : new Point(-1, -1); 1089 return fHoverEvent !is null ? new Point(fHoverEvent.x, fHoverEvent.y) : new Point(-1, -1);
1094 } 1090 }
1091 package Point getHoverEventLocation_package() {
1092 return getHoverEventLocation();
1093 }
1095 1094
1096 /** 1095 /**
1097 * Returns the most recent mouse hover event. 1096 * Returns the most recent mouse hover event.
1098 * 1097 *
1099 * @return the most recent mouse hover event or <code>null</code> 1098 * @return the most recent mouse hover event or <code>null</code>
1121 * @since 3.4 1120 * @since 3.4
1122 * @noreference This method is not intended to be referenced by clients. 1121 * @noreference This method is not intended to be referenced by clients.
1123 * @nooverride This method is not intended to be re-implemented or extended by clients. 1122 * @nooverride This method is not intended to be re-implemented or extended by clients.
1124 */ 1123 */
1125 public InternalAccessor getInternalAccessor() { 1124 public InternalAccessor getInternalAccessor() {
1126 return new class() MyInternalAccessor { 1125 return new MyInternalAccessor2(this);
1126 }
1127 static class MyInternalAccessor2 : MyInternalAccessor {
1128 AbstractHoverInformationControlManager outer_;
1129 this( AbstractHoverInformationControlManager a ){
1130 outer_=a;
1131 super(a);
1132 }
1127 public void setHoverEnrichMode(ITextViewerExtension8_EnrichMode mode) { 1133 public void setHoverEnrichMode(ITextViewerExtension8_EnrichMode mode) {
1128 this.outer.setHoverEnrichMode(mode); 1134 outer_.setHoverEnrichMode(mode);
1129 } 1135 }
1130 }; 1136 }
1131 }
1132 1137
1133 } 1138 }