コード例 #1
0
 public LibHoverPreferencePage() {
   super(GRID);
   setPreferenceStore(DevHelpPlugin.getDefault().getPreferenceStore());
 }
コード例 #2
0
 public DevhelpStringFieldEditor(String name, String labelText, Composite parent) {
   super(name, labelText, parent);
   setFilterPath(new File(DevHelpPlugin.getDefault().getPreferenceStore().getString(name)));
 }
コード例 #3
0
 @Override
 public void initializeDefaultPreferences() {
   IPreferenceStore store = DevHelpPlugin.getDefault().getPreferenceStore();
   store.setDefault(
       PreferenceConstants.DEVHELP_DIRECTORY, "/usr/share/gtk-doc/html"); // $NON-NLS-1$
 }