From 0c7f5272ae9438cb45c721ccf1644e325dcd7ad6 Mon Sep 17 00:00:00 2001 From: Andrew Hamilton Date: Thu, 13 Jan 2022 21:32:33 +1000 Subject: [PATCH] editor: Not currently using asyncio debug mode. --- diff_edit/editor.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/diff_edit/editor.py b/diff_edit/editor.py index d3915c4..45df475 100755 --- a/diff_edit/editor.py +++ b/diff_edit/editor.py @@ -660,7 +660,7 @@ class Editor: def main(): editor = Editor() editor.load(sys.argv[1]) - asyncio.run(fill3.tui("Editor", editor), debug=True) + asyncio.run(fill3.tui("Editor", editor)) if __name__ == "__main__":