finished first prototype of textual interface

potassco · May 16, 2024 · c129cc1 · c129cc1
1 parent c1f9af2
commit c129cc1
Show file tree

Hide file tree

Showing 2 changed files with 384 additions and 45 deletions.
diff --git a/src/clingexplaid/__main__.py b/src/clingexplaid/__main__.py
@@ -7,7 +7,7 @@
 from clingo.application import clingo_main
 
 from .cli.clingo_app import ClingoExplaidApp
-from .cli.textual_gui import ClingexplaidTextualApp
+from .cli.textual_gui import textual_main
 
 RUN_TEXTUAL_GUI = False
 
@@ -18,8 +18,7 @@ def main() -> None:
     """
 
     if RUN_TEXTUAL_GUI:
-        app = ClingexplaidTextualApp()
-        app.run()
+        textual_main()
     else:
         clingo_main(ClingoExplaidApp(sys.argv[0]), sys.argv[1:] + ["-V0"])