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 }