X-Git-Url: https://mograsim.net/gitweb/?a=blobdiff_plain;f=plugins%2Fnet.mograsim.plugin.core%2Fsrc%2Fnet%2Fmograsim%2Fplugin%2Fpreferences%2FEclipseRenderPreferences.java;fp=plugins%2Fnet.mograsim.plugin.core%2Fsrc%2Fnet%2Fmograsim%2Fplugin%2Fpreferences%2FEclipseRenderPreferences.java;h=f976ccc0f9476ad57c3fce22a9f26a32d0d9c86b;hb=c6806c7c38252b1d782581599efecff3930aa395;hp=0000000000000000000000000000000000000000;hpb=17f902a2717d92dee566eae233cc635ec8bebd74;p=Mograsim.git diff --git a/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/preferences/EclipseRenderPreferences.java b/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/preferences/EclipseRenderPreferences.java new file mode 100755 index 00000000..f976ccc0 --- /dev/null +++ b/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/preferences/EclipseRenderPreferences.java @@ -0,0 +1,15 @@ +package net.mograsim.plugin.preferences; + +import org.eclipse.jface.preference.IPreferenceStore; +import org.eclipse.ui.themes.ITheme; + +import net.mograsim.logic.model.preferences.DefaultRenderPreferences; +import net.mograsim.logic.model.preferences.RenderPreferences; + +public class EclipseRenderPreferences extends EclipsePreferences implements RenderPreferences +{ + public EclipseRenderPreferences(ITheme theme, IPreferenceStore prefs) + { + super(theme, prefs, new DefaultRenderPreferences()); + } +}