Fixed bug where settings of type float couldn't be read, which broke …

…the exporting of proofs to tikz
zxcalc · Aug 22, 2024 · d26a0c1 · d26a0c1
1 parent e04e3c7
commit d26a0c1
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/zxlive/common.py b/zxlive/common.py
@@ -34,6 +34,9 @@ def get_settings_value(arg: str, _type: Type[T], default: T | None = None, setti
     if _type == int:
         val = _settings.value(arg, default)
         return int(str(val))
+    if _type == float:
+        val = _settings.value(arg, default)
+        return float(str(val))
     if not isinstance(val := _settings.value(arg, default), _type):
         if default is not None:
             return default