X-Git-Url: https://mograsim.net/gitweb/?a=blobdiff_plain;f=plugins%2Fnet.mograsim.plugin.core%2Fsrc%2Fnet%2Fmograsim%2Fplugin%2FMainPreferencePage.java;h=ce2ccd0d1eea01f16276c452c0f1158fd88e045c;hb=161ecd36b6dcfe0e38cee3fd6ea8ad42d0705777;hp=07f89561e6ba99b3aeeb965e53dc692665d3d5a3;hpb=ad616dd7a4c8f181adb594021c4f1affb47a55c8;p=Mograsim.git

diff --git a/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/MainPreferencePage.java b/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/MainPreferencePage.java
index 07f89561..ce2ccd0d 100644
--- a/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/MainPreferencePage.java
+++ b/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/MainPreferencePage.java
@@ -8,7 +8,10 @@ import static net.mograsim.logic.model.preferences.RenderPreferences.BIT_ZERO_DA
 import static net.mograsim.logic.model.preferences.RenderPreferences.BIT_Z_DASH;
 import static net.mograsim.logic.model.preferences.RenderPreferences.DEBUG_HLSSHELL_DEPTH;
 import static net.mograsim.logic.model.preferences.RenderPreferences.DEBUG_OPEN_HLSSHELL;
+import static net.mograsim.logic.model.preferences.RenderPreferences.DEFAULT_LINE_WIDTH;
 import static net.mograsim.logic.model.preferences.RenderPreferences.DRAG_BUTTON;
+import static net.mograsim.logic.model.preferences.RenderPreferences.WIRE_WIDTH_MULTIBIT;
+import static net.mograsim.logic.model.preferences.RenderPreferences.WIRE_WIDTH_SINGLEBIT;
 import static net.mograsim.logic.model.preferences.RenderPreferences.ZOOM_BUTTON;
 import static net.mograsim.plugin.preferences.PluginPreferences.MPM_EDITOR_BITS_AS_COLUMN_NAME;
 
@@ -30,6 +33,7 @@ import org.eclipse.ui.IWorkbenchPreferencePage;
 
 import net.mograsim.logic.model.preferences.RenderPreferences;
 import net.mograsim.plugin.preferences.PluginPreferences;
+import net.mograsim.plugin.util.DoubleFieldEditor;
 import net.mograsim.preferences.Preferences;
 
 public class MainPreferencePage extends FieldEditorPreferencePage implements IWorkbenchPreferencePage
@@ -58,30 +62,17 @@ public class MainPreferencePage extends FieldEditorPreferencePage implements IWo
 		addIntCombo(DRAG_BUTTON, "Mouse button for dragging", MOUSE_BUTTONS, parent);
 		addIntCombo(ZOOM_BUTTON, "Mouse button for zooming", MOUSE_BUTTONS, parent);
 		addBoolean(MPM_EDITOR_BITS_AS_COLUMN_NAME, "Use the raw bit indices of MPM columns as column titles in the MPM editor", parent);
+
+		insertSeparator(parent);
+		addDouble(WIRE_WIDTH_SINGLEBIT, "Line width for single-bit wires", parent);
+		addDouble(WIRE_WIDTH_MULTIBIT, "Line width for multi-bit wires", parent);
+		addDouble(DEFAULT_LINE_WIDTH, "Line width for other wires", parent);
 		addDashesGroup(parent);
 		// TODO add other preferences
 	}
 
 	private void addDashesGroup(Composite parent)
 	{
-//		Composite groupComposite = new Composite(parent, SWT.LEFT);
-//		GridDataFactory.fillDefaults().grab(true, false).applyTo(groupComposite);
-//		GridLayoutFactory.fillDefaults().numColumns(2).applyTo(groupComposite);
-//		GridLayout gl = ((GridLayout) groupComposite.getLayout());
-//		gl.horizontalSpacing = 0;
-//
-//		Group grpWindowTitle = new Group(groupComposite, SWT.NONE);
-//		grpWindowTitle.setText("Line dashes");
-//		grpWindowTitle.setLayout(new GridLayout(1, false));
-//		grpWindowTitle.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, true, false, 1, 1));
-//
-//		// show workspace name
-//		Composite content = new Composite(grpWindowTitle, SWT.NONE);
-//		GridDataFactory.defaultsFor(content).indent(0, 0).grab(true, false).applyTo(content);
-//		GridLayout locationNameLayout = new GridLayout(2, false);
-//		content.setLayout(locationNameLayout);
-//		locationNameLayout.marginWidth = locationNameLayout.marginHeight = 0;
-
 		Composite dashesGroupParent = new Composite(parent, SWT.NONE);
 		dashesGroupParent.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, false, 2, 1));
 		GridLayout dashesGroupParentLayout = new GridLayout();
@@ -126,6 +117,12 @@ public class MainPreferencePage extends FieldEditorPreferencePage implements IWo
 		addField(new IntegerFieldEditor(name, label, parent));
 	}
 
+	private void addDouble(String name, String label, Composite parent)
+	{
+		defaultsPreferenceStore(name).getDouble(name);
+		addField(new DoubleFieldEditor(name, label, parent));
+	}
+
 	private void addIntCombo(String name, String label, String[][] entryNamesAndValues, Composite parent)
 	{
 		addCombo(name, label, entryNamesAndValues, parent, defaultsPreferenceStore(name)::getInt);
@@ -143,6 +140,11 @@ public class MainPreferencePage extends FieldEditorPreferencePage implements IWo
 		addField(new StringFieldEditor(name, label, parent));
 	}
 
+	private static void insertSeparator(Composite parent)
+	{
+		new Label(parent, SWT.SEPARATOR | SWT.HORIZONTAL).setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, false, 2, 1));
+	}
+
 	private static Preferences defaultsPreferenceStore(String name)
 	{
 		// TODO is it a good idea to list all preference systems here?