From 354539c5f4413274d494f72353ca979f55d6af0c Mon Sep 17 00:00:00 2001 From: Simon Forman Date: Sun, 10 May 2020 10:42:10 -0700 Subject: [PATCH] show_stack in case you close the stack window. --- joy/gui/main.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/joy/gui/main.py b/joy/gui/main.py index 88eabcc..94d7702 100755 --- a/joy/gui/main.py +++ b/joy/gui/main.py @@ -122,6 +122,12 @@ def commands(): return args + def show_stack(*args): + stack_window.wm_deiconify() + stack_window.update() + return args + + def grand_reset(s, e, d): stack = world.load_stack() or () log.reset()