tikz layout settings should be floats by default

zxcalc · Nov 14, 2023 · 2237125 · 2237125
1 parent 0024202
commit 2237125
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/zxlive/settings_dialog.py b/zxlive/settings_dialog.py
@@ -60,9 +60,9 @@
     "tikz/edge-H-import": ", ".join(pyzx.tikz.synonyms_hedge),
     "tikz/edge-W-import": ", ".join(pyzx.tikz.synonyms_wedge),
 
-    "tikz/layout/hspace": 2,
-    "tikz/layout/vspace": 2,
-    "tikz/layout/max-width": 10,
+    "tikz/layout/hspace": 2.0,
+    "tikz/layout/vspace": 2.0,
+    "tikz/layout/max-width": 10.0,
 
     "tikz/names/fuse spiders": "f",
     "tikz/names/bialgebra": "b",