Macro stepper: moved buttons out from under grow-box (thx Robby)

svn: r5510 original commit: 3b3954c1f8979dfb53f57186f96a5d89ca727a39
2007-01-30 21:38:01 +00:00 · 2007-01-30 21:38:01 +00:00 · 6641e1fe7a
commit 6641e1fe7a
parent 2b70c4eb6f
1 changed files with 3 additions and 1 deletions
--- 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