X-Git-Url: https://mograsim.net/gitweb/?a=blobdiff_plain;f=plugins%2Fnet.mograsim.plugin.core%2Fsrc%2Fnet%2Fmograsim%2Fplugin%2FMograsimActivator.java;h=9311ddd5ae13bc00261d87aa326b3c2c9fde9c41;hb=b43f498d00bd32f8c23ec57ee97c52ee12e0e5b9;hp=b3340dad7be3dfd3e84bd8d754d6d106f853fc88;hpb=f919efc362c3de5c94d894dc8fc7fe22c03fc865;p=Mograsim.git diff --git a/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/MograsimActivator.java b/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/MograsimActivator.java index b3340dad..9311ddd5 100644 --- a/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/MograsimActivator.java +++ b/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/MograsimActivator.java @@ -1,8 +1,10 @@ package net.mograsim.plugin; +import org.eclipse.ui.PlatformUI; import org.eclipse.ui.plugin.AbstractUIPlugin; import net.mograsim.machine.MachineRegistry; +import net.mograsim.preferences.Preferences; public final class MograsimActivator extends AbstractUIPlugin { @@ -14,6 +16,8 @@ public final class MograsimActivator extends AbstractUIPlugin throw new IllegalStateException("MograsimActivator already created!"); instance = this; MachineRegistry.initialize(); + Preferences.setPreferences(new EclipsePreferences(PlatformUI.getWorkbench().getThemeManager().getCurrentTheme(), + MograsimActivator.instance().getPreferenceStore())); } public static MograsimActivator instance()