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

...
author Frank Benoit <benoit@tionex.de>
date Wed, 27 Aug 2008 01:57:58 +0200
parents a9566845f1cb
children f8d52b926852
comparison
equal deleted inserted replaced
158:25f1f92fa3df 159:7926b636c282
151 import dwtx.jface.text.DocumentRewriteSessionType; // packageimport 151 import dwtx.jface.text.DocumentRewriteSessionType; // packageimport
152 import dwtx.jface.text.TextAttribute; // packageimport 152 import dwtx.jface.text.TextAttribute; // packageimport
153 import dwtx.jface.text.ITextViewerExtension4; // packageimport 153 import dwtx.jface.text.ITextViewerExtension4; // packageimport
154 import dwtx.jface.text.ITypedRegion; // packageimport 154 import dwtx.jface.text.ITypedRegion; // packageimport
155 155
156
157 import dwt.dwthelper.utils; 156 import dwt.dwthelper.utils;
158 157 import tango.core.Thread;
159
160
161 158
162 import dwt.custom.StyledText; 159 import dwt.custom.StyledText;
163 import dwt.events.MouseEvent; 160 import dwt.events.MouseEvent;
164 import dwt.events.MouseMoveListener; 161 import dwt.events.MouseMoveListener;
165 import dwt.graphics.Point; 162 import dwt.graphics.Point;