@@ -48,29 +48,29 @@ public static IColorManager getDefault() {
4848 }
4949
5050 public static void initializeDefaults (IPreferenceStore store ) {
51- PreferenceConverter . setDefault (store , P_DEFAULT , DEFAULT );
52- PreferenceConverter . setDefault (store , P_PROC_INSTR , PROC_INSTR );
53- PreferenceConverter . setDefault (store , P_STRING , STRING );
54- PreferenceConverter . setDefault (store , P_EXTERNALIZED_STRING , EXTERNALIZED_STRING );
55- PreferenceConverter . setDefault (store , P_TAG , TAG );
56- PreferenceConverter . setDefault (store , P_XML_COMMENT , XML_COMMENT );
57- PreferenceConverter . setDefault (store , P_HEADER_KEY , HEADER_KEY );
58- PreferenceConverter . setDefault (store , P_HEADER_OSGI , HEADER_OSGI );
51+ setDefault (store , P_DEFAULT , DEFAULT );
52+ setDefault (store , P_PROC_INSTR , PROC_INSTR );
53+ setDefault (store , P_STRING , STRING );
54+ setDefault (store , P_EXTERNALIZED_STRING , EXTERNALIZED_STRING );
55+ setDefault (store , P_TAG , TAG );
56+ setDefault (store , P_XML_COMMENT , XML_COMMENT );
57+ setDefault (store , P_HEADER_KEY , HEADER_KEY );
58+ setDefault (store , P_HEADER_OSGI , HEADER_OSGI );
5959 store .setDefault (P_HEADER_OSGI + IPDEColorConstants .P_BOLD_SUFFIX , true );
60- PreferenceConverter . setDefault (store , P_HEADER_VALUE , HEADER_VALUE );
61- PreferenceConverter . setDefault (store , P_HEADER_ATTRIBUTES , HEADER_ATTRIBUTES );
60+ setDefault (store , P_HEADER_VALUE , HEADER_VALUE );
61+ setDefault (store , P_HEADER_ATTRIBUTES , HEADER_ATTRIBUTES );
6262 store .setDefault (P_HEADER_ATTRIBUTES + IPDEColorConstants .P_ITALIC_SUFFIX , true );
63- PreferenceConverter . setDefault (store , P_HEADER_ASSIGNMENT , HEADER_ASSIGNMENT );
63+ setDefault (store , P_HEADER_ASSIGNMENT , HEADER_ASSIGNMENT );
6464 if (!PlatformUI .isWorkbenchRunning ()) {
6565 return ;
6666 }
6767 try {
6868 Display display = PlatformUI .getWorkbench ().getDisplay ();
6969 Runnable runnable = () -> {
7070 if (!display .isDisposed () && display .getHighContrast ()) {
71- PreferenceConverter . setDefault (store , P_DEFAULT , DEFAULT_HIGH_CONTRAST );
72- PreferenceConverter . setDefault (store , P_HEADER_VALUE , HEADER_VALUE_HIGH_CONTRAST );
73- PreferenceConverter . setDefault (store , P_HEADER_ATTRIBUTES , HEADER_ASSIGNMENT_HIGH_CONTRAST );
71+ setDefault (store , P_DEFAULT , DEFAULT_HIGH_CONTRAST );
72+ setDefault (store , P_HEADER_VALUE , HEADER_VALUE_HIGH_CONTRAST );
73+ setDefault (store , P_HEADER_ATTRIBUTES , HEADER_ASSIGNMENT_HIGH_CONTRAST );
7474 }
7575 };
7676 if (display == Display .getCurrent ()) {
@@ -142,4 +142,8 @@ public void handlePropertyChangeEvent(PropertyChangeEvent event) {
142142 putColor (event .getProperty (), StringConverter .asRGB (color .toString ()));
143143 }
144144 }
145+
146+ private static void setDefault (IPreferenceStore store , String name , RGB value ) {
147+ store .setDefault (name , StringConverter .asString (value ));
148+ }
145149}
0 commit comments