public ColoringSourceViewerConfiguration(ColorManager colorManager) { super(); this.colorManager = colorManager; tokenMap = new HashMap(); prefListener = new PreferenceListener(); if (EditorPlugin.getDefault() == null) return; EditorPlugin.getDefault().getPreferenceStore().addPropertyChangeListener(prefListener); }
private IPreferenceStore getPreferenceStore() { return EditorPlugin.getDefault().getPreferenceStore(); }