Java OverlayPreferenceStore.stop Beispiele

Beispiel #1

Datei: ColoringPreferencePage.java Projekt: vladdu/erlide_eclipse

 @Override
 public void dispose() {
   fColorManager.dispose();
   if (fOverlayStore != null) {
     fOverlayStore.stop();
     fOverlayStore = null;
   }
   super.dispose();
 }