Java DevHelpPlugin示例

示例#1

文件： LibHoverPreferencePage.java 项目： TheZorg/linuxtools

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

示例#2

文件： LibHoverPreferencePage.java 项目： TheZorg/linuxtools

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

示例#3

文件： PreferenceInitializer.java 项目： pkdevbox/linuxtools

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