store.setDefault(PreferenceConstants.EDITOR_BROWSER_LIKE_LINKS_KEY_MODIFIER, ctrl);
store.setDefault(PreferenceConstants.EDITOR_BROWSER_LIKE_LINKS_KEY_MODIFIER_MASK, SWT.CTRL);
+// mark occurrences
+ store.setDefault(PreferenceConstants.EDITOR_MARK_OCCURRENCES, true);
+ store.setDefault(PreferenceConstants.EDITOR_STICKY_OCCURRENCES, true);
+// store.setDefault(PreferenceConstants.EDITOR_MARK_TYPE_OCCURRENCES, true);
+// store.setDefault(PreferenceConstants.EDITOR_MARK_METHOD_OCCURRENCES, true);
+// store.setDefault(PreferenceConstants.EDITOR_MARK_CONSTANT_OCCURRENCES, true);
+// store.setDefault(PreferenceConstants.EDITOR_MARK_FIELD_OCCURRENCES, true);
+// store.setDefault(PreferenceConstants.EDITOR_MARK_LOCAL_VARIABLE_OCCURRENCES, true);
+// store.setDefault(PreferenceConstants.EDITOR_MARK_EXCEPTION_OCCURRENCES, true);
+// store.setDefault(PreferenceConstants.EDITOR_MARK_METHOD_EXIT_POINTS, true);
+// store.setDefault(PreferenceConstants.EDITOR_MARK_IMPLEMENTORS, true);
+
// spell checking
store.setDefault(PreferenceConstants.SPELLING_CHECK_SPELLING, false);
store.setDefault(PreferenceConstants.SPELLING_LOCALE, SpellCheckEngine.getDefaultLocale().toString());