comparison dwtx/jface/text/source/OverviewRuler.d @ 147:000f9136b8f7

final
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 22:35:05 +0200
parents 02cd5f1224d3
children f70d9508c95c
comparison
equal deleted inserted replaced
146:75302ef3f92f 147:000f9136b8f7
350 e.gc.setLineWidth(0); // NOTE: 0 means width is 1 but with optimized performance 350 e.gc.setLineWidth(0); // NOTE: 0 means width is 1 but with optimized performance
351 e.gc.drawLine(0, s.y -1, s.x -1, s.y -1); 351 e.gc.drawLine(0, s.y -1, s.x -1, s.y -1);
352 } 352 }
353 } 353 }
354 354
355 private static final int INSET= 2; 355 private static const int INSET= 2;
356 private static final int ANNOTATION_HEIGHT= 4; 356 private static const int ANNOTATION_HEIGHT= 4;
357 private static bool ANNOTATION_HEIGHT_SCALABLE= true; 357 private static bool ANNOTATION_HEIGHT_SCALABLE= true;
358 358
359 359
360 /** The model of the overview ruler */ 360 /** The model of the overview ruler */
361 private IAnnotationModel fModel; 361 private IAnnotationModel fModel;