From e04e3c770bd5073d948ad2d9beac68b8f47612ae Mon Sep 17 00:00:00 2001 From: John van de Wetering Date: Tue, 20 Aug 2024 20:07:40 +0200 Subject: [PATCH] Added back in some missing tikz import features that got lost in the settings dialog rewrite --- zxlive/settings_dialog.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/zxlive/settings_dialog.py b/zxlive/settings_dialog.py index c320600..a9b9026 100644 --- a/zxlive/settings_dialog.py +++ b/zxlive/settings_dialog.py @@ -111,9 +111,13 @@ def load_font_families() -> None: tikz_import_settings: list[SettingsData] = [ {"id": "tikz/Z-spider-import", "label": "Z-spider", "type": FormInputType.Str}, + {"id": "tikz/X-spider-import", "label": "X-spider", "type": FormInputType.Str}, + {"id": "tikz/Hadamard-import", "label": "H-box", "type": FormInputType.Str}, {"id": "tikz/w-input-import", "label": "W input", "type": FormInputType.Str}, {"id": "tikz/w-output-import", "label": "W output", "type": FormInputType.Str}, {"id": "tikz/z-box-import", "label": "Z box", "type": FormInputType.Str}, + {"id": "tikz/edge-import", "label": "regular edge", "type": FormInputType.Str}, + {"id": "tikz/edge-H-import", "label": "H edge", "type": FormInputType.Str}, {"id": "tikz/edge-W-import", "label": "W io edge", "type": FormInputType.Str}, ]