comparison dwtx/jface/text/TextViewerHoverManager.d @ 167:862b05e0334a

Add a wrapper for Thread
author Frank Benoit <benoit@tionex.de>
date Tue, 09 Sep 2008 15:59:16 +0200
parents 1a5b8f8129df
children d994a8b2cdf7
comparison
equal deleted inserted replaced
163:e5dd0081ccba 167:862b05e0334a
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 import dwt.dwthelper.utils; 156 import dwt.dwthelper.utils;
157 import tango.core.Thread; 157 import dwtx.dwtxhelper.JThread;
158 158
159 import dwt.custom.StyledText; 159 import dwt.custom.StyledText;
160 import dwt.events.MouseEvent; 160 import dwt.events.MouseEvent;
161 import dwt.events.MouseMoveListener; 161 import dwt.events.MouseMoveListener;
162 import dwt.graphics.Point; 162 import dwt.graphics.Point;
190 190
191 191
192 /** The text viewer */ 192 /** The text viewer */
193 private TextViewer fTextViewer; 193 private TextViewer fTextViewer;
194 /** The hover information computation thread */ 194 /** The hover information computation thread */
195 private Thread fThread; 195 private JThread fThread;
196 /** The stopper of the computation thread */ 196 /** The stopper of the computation thread */
197 private ITextListener fStopper; 197 private ITextListener fStopper;
198 /** Internal monitor */ 198 /** Internal monitor */
199 private Object fMutex; 199 private Object fMutex;
200 /** The currently shown text hover. */ 200 /** The currently shown text hover. */