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=2d8e8e673b8d0b811746464369380d153ec44478;hpb=ab52c884bb0eea5de4e3266b9ac168791c5cf67c;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 2d8e8e67..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 { @@ -13,7 +15,9 @@ public final class MograsimActivator extends AbstractUIPlugin if (instance != null) throw new IllegalStateException("MograsimActivator already created!"); instance = this; - MachineRegistry.reload(); + MachineRegistry.initialize(); + Preferences.setPreferences(new EclipsePreferences(PlatformUI.getWorkbench().getThemeManager().getCurrentTheme(), + MograsimActivator.instance().getPreferenceStore())); } public static MograsimActivator instance()