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