From cea8e15d2e855173f878551f08282bf77b48c1bd Mon Sep 17 00:00:00 2001 From: Greg Cooper Date: Fri, 21 Nov 2008 01:33:23 +0000 Subject: [PATCH] try to make the debug-button properly centered svn: r12556 --- collects/gui-debugger/debug-tool.ss | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/gui-debugger/debug-tool.ss b/collects/gui-debugger/debug-tool.ss index 47a920e6b0..3efc59a2b9 100644 --- a/collects/gui-debugger/debug-tool.ss +++ b/collects/gui-debugger/debug-tool.ss @@ -1278,7 +1278,9 @@ (new switchable-button% (label (string-constant debug-tool-button-name)) (bitmap debug-bitmap) - (parent (make-object vertical-pane% (get-button-panel))) + (parent (new vertical-pane% + [parent (get-button-panel)] + [alignment '(center center)])) (callback (λ (button) (debug-callback))))) (inherit register-toolbar-button) (register-toolbar-button debug-button)