From 2adbdac8ed967eef4a1d11f8a4403ebcf567433f Mon Sep 17 00:00:00 2001 From: Hannes Weichelt Date: Fri, 21 Jun 2024 10:50:25 +0200 Subject: [PATCH] disabled constants tab for now --- src/clingexplaid/cli/textual_gui.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/clingexplaid/cli/textual_gui.py b/src/clingexplaid/cli/textual_gui.py index 692898b..7e9bc2c 100644 --- a/src/clingexplaid/cli/textual_gui.py +++ b/src/clingexplaid/cli/textual_gui.py @@ -319,8 +319,8 @@ def compose(self) -> ComposeResult: with TabbedContent(): with TabPane("Files", id="tab-files"): yield FilesWidget(self.files) - with TabPane("Constants", id="tab-constants"): - yield ConstantsWidget(self.constants) + # with TabPane("Constants", id="tab-constants"): + # yield ConstantsWidget(self.constants) with TabPane("Signatures", id="tab-signatures"): sorted_signatures = list(sorted(self.signatures, key=lambda x: x[0])) yield SignaturesWidget([INTERNAL_STRING] + [f"{name} / {arity}" for name, arity in sorted_signatures])