if (rulerColumn instanceof LineNumberChangeRulerColumn) { LineNumberChangeRulerColumn changeColumn= (LineNumberChangeRulerColumn)rulerColumn;  ISourceViewer v= getSourceViewer(); if (v != null && v.getAnnotationModel() != null) { changeColumn.setModel(v.getAnnotationModel()); }  rgb= null;  if (!store.getBoolean(PreferenceConstants.LINE_NUMBER_CHANGED_COLOR)) { if (store.contains(PreferenceConstants.LINE_NUMBER_CHANGED_COLOR)) { if (store.isDefault(PreferenceConstants.LINE_NUMBER_CHANGED_COLOR)) rgb= PreferenceConverter.getDefaultColor(store, PreferenceConstants.LINE_NUMBER_CHANGED_COLOR); else rgb= PreferenceConverter.getColor(store, PreferenceConstants.LINE_NUMBER_CHANGED_COLOR); } } changeColumn.setChangedColor(manager.getColor(rgb));  rgb= null;  if (!store.getBoolean(PreferenceConstants.LINE_NUMBER_ADDED_COLOR)) { if (store.contains(PreferenceConstants.LINE_NUMBER_ADDED_COLOR)) { if (store.isDefault(PreferenceConstants.LINE_NUMBER_ADDED_COLOR)) rgb= PreferenceConverter.getDefaultColor(store, PreferenceConstants.LINE_NUMBER_ADDED_COLOR); else rgb= PreferenceConverter.getColor(store, PreferenceConstants.LINE_NUMBER_ADDED_COLOR); } } changeColumn.setAddedColor(manager.getColor(rgb));  rgb= null;  if (!store.getBoolean(PreferenceConstants.LINE_NUMBER_DELETED_COLOR)) { if (store.contains(PreferenceConstants.LINE_NUMBER_DELETED_COLOR)) { if (store.isDefault(PreferenceConstants.LINE_NUMBER_DELETED_COLOR)) rgb= PreferenceConverter.getDefaultColor(store, PreferenceConstants.LINE_NUMBER_DELETED_COLOR); else rgb= PreferenceConverter.getColor(store, PreferenceConstants.LINE_NUMBER_DELETED_COLOR); } } changeColumn.setDeletedColor(manager.getColor(rgb)); }
	protected void initializeLineNumberRulerColumn(LineNumberRulerColumn rulerColumn) {		JavaTextTools textTools= JavaPlugin.getDefault().getJavaTextTools();		IColorManager manager= textTools.getColorManager();					IPreferenceStore store= getPreferenceStore();		if (store != null) {					RGB rgb=  null;			// foreground color			if (store.contains(LINE_NUMBER_COLOR)) {				if (store.isDefault(LINE_NUMBER_COLOR))					rgb= PreferenceConverter.getDefaultColor(store, LINE_NUMBER_COLOR);				else					rgb= PreferenceConverter.getColor(store, LINE_NUMBER_COLOR);			}			rulerColumn.setForeground(manager.getColor(rgb));									rgb= null;			// background color			if (!store.getBoolean(PREFERENCE_COLOR_BACKGROUND_SYSTEM_DEFAULT)) {				if (store.contains(PREFERENCE_COLOR_BACKGROUND)) {					if (store.isDefault(PREFERENCE_COLOR_BACKGROUND))						rgb= PreferenceConverter.getDefaultColor(store, PREFERENCE_COLOR_BACKGROUND);					else						rgb= PreferenceConverter.getColor(store, PREFERENCE_COLOR_BACKGROUND);				}			}			rulerColumn.setBackground(manager.getColor(rgb));						rulerColumn.redraw();		}	}