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

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 6616b406..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,6 +62,11 @@ 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
 	}
@@ -108,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);
@@ -125,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?