Mercurial > projects > dwt-addons
comparison dwtx/jface/text/source/projection/ProjectionRulerColumn.d @ 162:1a5b8f8129df
...
author | Frank Benoit <benoit@tionex.de> |
---|---|
date | Mon, 08 Sep 2008 00:51:37 +0200 |
parents | f70d9508c95c |
children |
comparison
equal
deleted
inserted
replaced
161:f8d52b926852 | 162:1a5b8f8129df |
---|---|
200 }); | 200 }); |
201 | 201 |
202 // install mouse move listener | 202 // install mouse move listener |
203 control.addMouseMoveListener(new class() MouseMoveListener { | 203 control.addMouseMoveListener(new class() MouseMoveListener { |
204 public void mouseMove(MouseEvent e) { | 204 public void mouseMove(MouseEvent e) { |
205 bool redraw= false; | 205 bool redraw_= false; |
206 ProjectionAnnotation annotation= findAnnotation(toDocumentLineNumber(e.y), false); | 206 ProjectionAnnotation annotation= findAnnotation(toDocumentLineNumber(e.y), false); |
207 if (annotation !is fCurrentAnnotation) { | 207 if (annotation !is fCurrentAnnotation) { |
208 if (fCurrentAnnotation !is null) { | 208 if (fCurrentAnnotation !is null) { |
209 fCurrentAnnotation.setRangeIndication(false); | 209 fCurrentAnnotation.setRangeIndication(false); |
210 redraw= true; | 210 redraw_= true; |
211 } | 211 } |
212 fCurrentAnnotation= annotation; | 212 fCurrentAnnotation= annotation; |
213 if (fCurrentAnnotation !is null && !fCurrentAnnotation.isCollapsed()) { | 213 if (fCurrentAnnotation !is null && !fCurrentAnnotation.isCollapsed()) { |
214 fCurrentAnnotation.setRangeIndication(true); | 214 fCurrentAnnotation.setRangeIndication(true); |
215 redraw= true; | 215 redraw_= true; |
216 } | 216 } |
217 } | 217 } |
218 if (redraw) | 218 if (redraw_) |
219 redraw(); | 219 redraw(); |
220 } | 220 } |
221 }); | 221 }); |
222 return control; | 222 return control; |
223 } | 223 } |