+ if (instance != null)
+ throw new IllegalStateException("MograsimActivator already created!");
+ instance = this;
+
+ MachineRegistry.initialize();
+ ITheme currentTheme = PlatformUI.getWorkbench().getThemeManager().getCurrentTheme();
+ IPreferenceStore preferenceStore = getPreferenceStore();
+ renderPrefs = new EclipseRenderPreferences(currentTheme, preferenceStore);
+ pluginPrefs = new EclipsePluginPreferences(currentTheme, preferenceStore);
+ }
+
+ public RenderPreferences getRenderPrefs()
+ {
+ return renderPrefs;
+ }
+
+ public Preferences getPluginPrefs()
+ {
+ return pluginPrefs;