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.jface.preference.IntegerFieldEditor;
   6 import org.eclipse.swt.widgets.Composite;
   7 import org.eclipse.ui.IWorkbench;
   8 import org.eclipse.ui.IWorkbenchPreferencePage;
   9
  10 public class MainPreferencePage extends FieldEditorPreferencePage implements IWorkbenchPreferencePage
  11 {
  12         public MainPreferencePage()
  13         {
  14                 super(GRID);
  15         }
  16
  17         @Override
  18         public void init(IWorkbench workbench)
  19         {
  20                 setPreferenceStore(MograsimActivator.instance().getPreferenceStore());
  21         }
  22
  23         @Override
  24         protected void createFieldEditors()
  25         {
  26                 Composite parent = getFieldEditorParent();
  27                 addField(new BooleanFieldEditor("net.mograsim.logic.model.debug.openhlsshell", "Open the debug HLS shell", parent));
  28                 addField(new IntegerFieldEditor("net.mograsim.logic.model.debug.hlsshelldepth",
  29                                 "Depth of components to list in the debug HLS shell", parent));
  30                 IntegerFieldEditor editor;
  31                 editor = new IntegerFieldEditor("net.mograsim.logic.model.button.action", "Mouse button for actions", parent);
  32                 editor.setValidRange(1, 5);
  33                 addField(editor);
  34                 editor = new IntegerFieldEditor("net.mograsim.logic.model.button.drag", "Mouse button for dragging", parent);
  35                 editor.setValidRange(1, 5);
  36                 addField(editor);
  37                 editor = new IntegerFieldEditor("net.mograsim.logic.model.button.zoom", "Mouse button for zooming", parent);
  38                 editor.setValidRange(1, 5);
  39                 addField(editor);
  40                 // TODO add other preferences
  41         }
  42 }