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