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=96dd446ab936b4db82d0bd94f90e20442a4d86af;hp=b3340dad7be3dfd3e84bd8d754d6d106f853fc88;hpb=363c9377b3c542c87fc5e7f57674751439246dbd;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()