Lines 18-23
Link Here
|
18 |
import org.eclipse.jface.util.PropertyChangeEvent; |
18 |
import org.eclipse.jface.util.PropertyChangeEvent; |
19 |
import org.eclipse.pde.internal.ui.PDEPlugin; |
19 |
import org.eclipse.pde.internal.ui.PDEPlugin; |
20 |
import org.eclipse.swt.SWT; |
20 |
import org.eclipse.swt.SWT; |
|
|
21 |
import org.eclipse.swt.SWTException; |
21 |
import org.eclipse.swt.graphics.Color; |
22 |
import org.eclipse.swt.graphics.Color; |
22 |
import org.eclipse.swt.graphics.RGB; |
23 |
import org.eclipse.swt.graphics.RGB; |
23 |
import org.eclipse.swt.widgets.Display; |
24 |
import org.eclipse.swt.widgets.Display; |
Lines 41-47
Link Here
|
41 |
} |
42 |
} |
42 |
|
43 |
|
43 |
public static void initializeDefaults(IPreferenceStore store) { |
44 |
public static void initializeDefaults(IPreferenceStore store) { |
44 |
PreferenceConverter.setDefault(store, P_DEFAULT, DEFAULT); |
45 |
boolean highContrast = false; |
|
|
46 |
try { |
47 |
highContrast = Display.getDefault().getHighContrast(); |
48 |
} catch (SWTException e) { // keep highContrast = false |
49 |
} |
50 |
|
51 |
PreferenceConverter.setDefault(store, P_DEFAULT, highContrast ? DEFAULT_HIGH_CONTRAST : DEFAULT); |
45 |
PreferenceConverter.setDefault(store, P_PROC_INSTR, PROC_INSTR); |
52 |
PreferenceConverter.setDefault(store, P_PROC_INSTR, PROC_INSTR); |
46 |
PreferenceConverter.setDefault(store, P_STRING, STRING); |
53 |
PreferenceConverter.setDefault(store, P_STRING, STRING); |
47 |
PreferenceConverter.setDefault(store, P_EXTERNALIZED_STRING, EXTERNALIZED_STRING); |
54 |
PreferenceConverter.setDefault(store, P_EXTERNALIZED_STRING, EXTERNALIZED_STRING); |
Lines 50-57
Link Here
|
50 |
PreferenceConverter.setDefault(store, P_HEADER_KEY, HEADER_KEY); |
57 |
PreferenceConverter.setDefault(store, P_HEADER_KEY, HEADER_KEY); |
51 |
PreferenceConverter.setDefault(store, P_HEADER_OSGI, HEADER_OSGI); |
58 |
PreferenceConverter.setDefault(store, P_HEADER_OSGI, HEADER_OSGI); |
52 |
store.setDefault(P_HEADER_OSGI + IPDEColorConstants.P_BOLD_SUFFIX, true); |
59 |
store.setDefault(P_HEADER_OSGI + IPDEColorConstants.P_BOLD_SUFFIX, true); |
53 |
PreferenceConverter.setDefault(store, P_HEADER_VALUE, HEADER_VALUE); |
60 |
PreferenceConverter.setDefault(store, P_HEADER_VALUE, highContrast ? HEADER_VALUE_HIGH_CONTRAST : HEADER_VALUE); |
54 |
PreferenceConverter.setDefault(store, P_HEADER_ATTRIBUTES, HEADER_ATTRIBUTES); |
61 |
PreferenceConverter.setDefault(store, P_HEADER_ATTRIBUTES, highContrast ? HEADER_ASSIGNMENT_HIGH_CONTRAST : HEADER_ATTRIBUTES); |
55 |
store.setDefault(P_HEADER_ATTRIBUTES + IPDEColorConstants.P_ITALIC_SUFFIX, true); |
62 |
store.setDefault(P_HEADER_ATTRIBUTES + IPDEColorConstants.P_ITALIC_SUFFIX, true); |
56 |
PreferenceConverter.setDefault(store, P_HEADER_ASSIGNMENT, HEADER_ASSIGNMENT); |
63 |
PreferenceConverter.setDefault(store, P_HEADER_ASSIGNMENT, HEADER_ASSIGNMENT); |
57 |
} |
64 |
} |