Merge branch 'master' of github.com:krr-up/clingo-explaid

potassco · Jun 27, 2024 · 24019a4 · 24019a4
2 parents e608305 + 2adbdac
commit 24019a4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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])