/** updates the preferences values */ protected void updatePreferences() { PreferencesStore.setPreference(null, RULERS_ENABLED_PREF_ID, Boolean.toString(rulersEnabled)); PreferencesStore.setPreference( null, ALIGN_WITH_RULERS_PREF_ID, Boolean.toString(alignWithRulers)); }