X-Git-Url: https://mograsim.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=plugins%2Fnet.mograsim.plugin.core%2Fsrc%2Fnet%2Fmograsim%2Fplugin%2Fpreferences%2FEclipsePluginPreferences.java;fp=plugins%2Fnet.mograsim.plugin.core%2Fsrc%2Fnet%2Fmograsim%2Fplugin%2Fpreferences%2FEclipsePluginPreferences.java;h=193471d74856de770df5050836cdafb7d60b654f;hb=c6806c7c38252b1d782581599efecff3930aa395;hp=0000000000000000000000000000000000000000;hpb=17f902a2717d92dee566eae233cc635ec8bebd74;p=Mograsim.git

diff --git a/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/preferences/EclipsePluginPreferences.java b/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/preferences/EclipsePluginPreferences.java
new file mode 100755
index 00000000..193471d7
--- /dev/null
+++ b/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/preferences/EclipsePluginPreferences.java
@@ -0,0 +1,12 @@
+package net.mograsim.plugin.preferences;
+
+import org.eclipse.jface.preference.IPreferenceStore;
+import org.eclipse.ui.themes.ITheme;
+
+public class EclipsePluginPreferences extends EclipsePreferences implements PluginPreferences
+{
+	public EclipsePluginPreferences(ITheme theme, IPreferenceStore prefs)
+	{
+		super(theme, prefs, new DefaultPluginPreferences());
+	}
+}