Exemple #1
0
 private void updateLineNumberColumnPresentation(boolean refresh) {
   if (fLineNumberColumn == null) return;
   RGB rgb =
       getColorFromStore(
           EditorsUI.getPreferenceStore(),
           AbstractDecoratedTextEditorPreferenceConstants.EDITOR_LINE_NUMBER_RULER_COLOR);
   if (rgb == null) rgb = new RGB(0, 0, 0);
   ISharedTextColors sharedColors = getSharedColors();
   fLineNumberColumn.setForeground(sharedColors.getColor(rgb));
   if (refresh) {
     fLineNumberColumn.redraw();
   }
 }