|
@@ -26,29 +26,28 @@ import static org.yakindu.sct.simulation.ui.preferences.SimulationPreferenceCons
|
|
*
|
|
*
|
|
*/
|
|
*/
|
|
public class PreferenceInitializer extends AbstractPreferenceInitializer {
|
|
public class PreferenceInitializer extends AbstractPreferenceInitializer {
|
|
|
|
+
|
|
|
|
+ private static final Color STATE_VG_COLOR = new Color(null,255,128,0);
|
|
|
|
+ private static final Color STATE_BG_HL_COLOR = new Color(null,245,216,44);
|
|
|
|
|
|
- private static final Color lightRed = new Color(null, 255, 128, 128);
|
|
|
|
- private static final Color orange = new Color(null, 246, 137, 0);
|
|
|
|
- private static final Color STATE_BG_COLOR = new Color(null, 205, 220, 243);
|
|
|
|
|
|
|
|
-
|
|
|
|
public void initializeDefaultPreferences() {
|
|
public void initializeDefaultPreferences() {
|
|
IPreferenceStore store = SimulationActivator.getDefault()
|
|
IPreferenceStore store = SimulationActivator.getDefault()
|
|
.getPreferenceStore();
|
|
.getPreferenceStore();
|
|
PreferenceConverter.setDefault(store,
|
|
PreferenceConverter.setDefault(store,
|
|
STATE_FOREGROUND_HIGHLIGHTING_COLOR,
|
|
STATE_FOREGROUND_HIGHLIGHTING_COLOR,
|
|
- ColorConstants.red.getRGB());
|
|
|
|
|
|
+ STATE_VG_COLOR.getRGB());
|
|
|
|
|
|
PreferenceConverter.setDefault(store,
|
|
PreferenceConverter.setDefault(store,
|
|
- STATE_BACKGROUND_HIGHLIGHTING_COLOR, lightRed.getRGB());
|
|
|
|
|
|
+ STATE_BACKGROUND_HIGHLIGHTING_COLOR, STATE_BG_HL_COLOR.getRGB());
|
|
|
|
|
|
PreferenceConverter.setDefault(store,
|
|
PreferenceConverter.setDefault(store,
|
|
- VERTEX_FOREGROUND_TRANSIENT_COLOR, orange.getRGB());
|
|
|
|
|
|
+ VERTEX_FOREGROUND_TRANSIENT_COLOR, STATE_VG_COLOR.getRGB());
|
|
|
|
|
|
PreferenceConverter.setDefault(store,
|
|
PreferenceConverter.setDefault(store,
|
|
- VERTEX_BACKGROUND_TRANSIENT_COLOR, STATE_BG_COLOR.getRGB());
|
|
|
|
|
|
+ VERTEX_BACKGROUND_TRANSIENT_COLOR, STATE_BG_HL_COLOR.getRGB());
|
|
|
|
|
|
PreferenceConverter.setDefault(store, TRANSITION_HIGHLIGHTING_COLOR,
|
|
PreferenceConverter.setDefault(store, TRANSITION_HIGHLIGHTING_COLOR,
|
|
- orange.getRGB());
|
|
|
|
|
|
+ STATE_VG_COLOR.getRGB());
|
|
}
|
|
}
|
|
}
|
|
}
|