Ejemplos de DevHelpPlugin.getDefault en Java

Ejemplo n.º 1

Archivo: LibHoverPreferencePage.java Proyecto: TheZorg/linuxtools

 public LibHoverPreferencePage() {
   super(GRID);
   setPreferenceStore(DevHelpPlugin.getDefault().getPreferenceStore());
 }

Ejemplo n.º 2

Archivo: LibHoverPreferencePage.java Proyecto: TheZorg/linuxtools

 public DevhelpStringFieldEditor(String name, String labelText, Composite parent) {
   super(name, labelText, parent);
   setFilterPath(new File(DevHelpPlugin.getDefault().getPreferenceStore().getString(name)));
 }

Ejemplo n.º 3

Archivo: PreferenceInitializer.java Proyecto: pkdevbox/linuxtools

 @Override
 public void initializeDefaultPreferences() {
   IPreferenceStore store = DevHelpPlugin.getDefault().getPreferenceStore();
   store.setDefault(
       PreferenceConstants.DEVHELP_DIRECTORY, "/usr/share/gtk-doc/html"); // $NON-NLS-1$
 }