/** @generated NOT */ @Override public void initializeDefaultPreferences() { IPreferenceStore store = getPreferenceStore(); PrintingPreferencePage.initDefaults(store); DiagramsPreferencePage.initDefaults(store); AppearancePreferencePage.initDefaults(store); ConnectionsPreferencePage.initDefaults(store); RulerGridPreferencePage.initDefaults(store); AudioDevicesPrefPage.initDefaults(store); AudioControlsPrefPage.initDefaults(store); store.setDefault(IPreferenceConstants.PREF_SHOW_POPUP_BARS, true); store.setDefault(IPreferenceConstants.PREF_SHOW_CONNECTION_HANDLES, true); store.setDefault(IPreferenceConstants.PREF_LINE_STYLE, Routing.RECTILINEAR); store.setDefault(IPreferenceConstants.PREF_SHOW_GRID, false); store.setDefault(IPreferenceConstants.PREF_SHOW_RULERS, false); store.setDefault(IPreferenceConstants.PREF_GRID_SPACING, 0.1); store.setDefault(IPreferenceConstants.PREF_RULER_UNITS, RulerProvider.UNIT_CENTIMETERS); store.setDefault(IPreferenceConstants.PREF_DEFAULT_FONT, "Tahoma"); store.setDefault(IConstants.SQL_ASSIST, true); store.setDefault(IConstants.SQL_PARAMS, "5,150,5"); store.setDefault(PreferenceConstants.PREF_ACTIONSTEPS_MINIMIZED, false); Preferences pref = UpdateSchedulerPlugin.getDefault().getPluginPreferences(); pref.setDefault(UpdateSchedulerPlugin.P_ENABLED, true); pref.setDefault(UpdateSchedulerPlugin.P_SCHEDULE, UpdateSchedulerPlugin.VALUE_ON_STARTUP); }
/** {@inheritDoc} */ public void setDefault(String name, boolean value) { fPreferences.setDefault(name, value); }
/** {@inheritDoc} */ public void setDefault(String name, String defaultObject) { fPreferences.setDefault(name, defaultObject); }
/** {@inheritDoc} */ public void setDefault(String name, long value) { fPreferences.setDefault(name, value); }