Improved preference handling in plugin.core
[Mograsim.git] / plugins / net.mograsim.plugin.core / src / net / mograsim / plugin / MainPreferencePage.java
1 package net.mograsim.plugin;
2
3 import org.eclipse.jface.preference.BooleanFieldEditor;
4 import org.eclipse.jface.preference.FieldEditorPreferencePage;
5 import org.eclipse.ui.IWorkbench;
6 import org.eclipse.ui.IWorkbenchPreferencePage;
7
8 public class MainPreferencePage extends FieldEditorPreferencePage implements IWorkbenchPreferencePage
9 {
10         public MainPreferencePage()
11         {
12                 super(GRID);
13         }
14
15         @Override
16         public void init(IWorkbench workbench)
17         {
18                 setPreferenceStore(MograsimActivator.instance().getPreferenceStore());
19         }
20
21         @Override
22         protected void createFieldEditors()
23         {
24                 addField(new BooleanFieldEditor("net.mograsim.logic.model.debug.openhlsshell", "Open the debug HLS shell", getFieldEditorParent()));
25                 // TODO add other preferences
26         }
27 }