convert string settings to float in proof_to_tikz

zxcalc · Nov 20, 2023 · 823b970 · 823b970
1 parent 4be636f
commit 823b970
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/zxlive/tikz.py b/zxlive/tikz.py
@@ -6,13 +6,11 @@
 
 def proof_to_tikz(proof: ProofModel) -> str:
     settings = QSettings("zxlive", "zxlive")
-    vspace = settings.value("tikz/layout/vspace")
-    hspace = settings.value("tikz/layout/hspace")
-    max_width = settings.value("tikz/layout/max-width")
+    vspace = float(settings.value("tikz/layout/vspace"))
+    hspace = float(settings.value("tikz/layout/hspace"))
+    max_width = float(settings.value("tikz/layout/max-width"))
     draw_scalar = False
 
-    assert isinstance(vspace, float) and isinstance(hspace, float) and isinstance(max_width, float)
-
     xoffset = -max_width
     yoffset = -10
     idoffset = 0