From 9eb2d7c1dfcba04764a2b944cc41e98a7c6e89fc Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 12 Sep 2024 15:41:50 -0500 Subject: [PATCH] remove printfs --- drracket/gui-debugger/debug-tool.rkt | 2 -- 1 file changed, 2 deletions(-) diff --git a/drracket/gui-debugger/debug-tool.rkt b/drracket/gui-debugger/debug-tool.rkt index 0064bc3d6..00ee3edf2 100644 --- a/drracket/gui-debugger/debug-tool.rkt +++ b/drracket/gui-debugger/debug-tool.rkt @@ -1571,10 +1571,8 @@ (define debug-button-currently-visible? (member debug-button (send debug-parent get-children))) (if visible? (unless debug-button-currently-visible? - (printf "changing to add button\n") (send debug-parent add-child debug-button)) (when debug-button-currently-visible? - (printf "changing to remove button\n") (send debug-parent delete-child debug-button))))) (send (get-button-panel) change-children