From 3b3954c1f8979dfb53f57186f96a5d89ca727a39 Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Tue, 30 Jan 2007 21:38:01 +0000 Subject: [PATCH] Macro stepper: moved buttons out from under grow-box (thx Robby) svn: r5510 --- collects/macro-debugger/view/hiding-panel.ss | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/macro-debugger/view/hiding-panel.ss b/collects/macro-debugger/view/hiding-panel.ss index 5558d922aa..f9242bf330 100644 --- a/collects/macro-debugger/view/hiding-panel.ss +++ b/collects/macro-debugger/view/hiding-panel.ss @@ -90,7 +90,9 @@ (define add-show-id-button (new button% (parent add-pane) (label "Show macro") (enabled #f) (callback (lambda _ (add-show-identifier) (refresh))))) - + + (new grow-box-spacer-pane% (parent add-pane)) + (send add-editor lock #t) ;; Methods