Java EditorPlugin.getDefaultの例

コード例 #1

ファイル: ColoringSourceViewerConfiguration.java プロジェクト: andresilm/jeni

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

コード例 #2

ファイル: ColoringSourceViewerConfiguration.java プロジェクト: andresilm/jeni

 private IPreferenceStore getPreferenceStore() {
   return EditorPlugin.getDefault().getPreferenceStore();
 }