From 223712562fc47d46ea138356ea6e3c8606200735 Mon Sep 17 00:00:00 2001
From: Tuomas Laakkonen <pigworts2@gmail.com>
Date: Tue, 14 Nov 2023 16:56:57 +0000
Subject: [PATCH] tikz layout settings should be floats by default

---
 zxlive/settings_dialog.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/zxlive/settings_dialog.py b/zxlive/settings_dialog.py
index 964f5374..41b570d2 100644
--- 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",