suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

drr: avoid making the window jump wider when a new tab is created.

Browse Source 
(this one has been bugging me for _far_ too long)
This commit is contained in:
Robby Findler 2010-12-04 13:04:29 -06:00
parent 3a506e5acb
commit 71cf40c4b7
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/drracket/private/module-language-tools.rkt
View File

@ -154,6 +154,10 @@
[frame (send tab get-frame)]) [frame (send tab get-frame)])
(when (send frame initialized?) (when (send frame initialized?)
(send frame begin-container-sequence) (send frame begin-container-sequence)
;; avoid any time with both sets of buttons in the panel so the window doesn't get too wide
(send (send frame get-toolbar-button-panel) change-children (λ (x) '()))
(let ([directly-specified-buttons (let ([directly-specified-buttons
(map (λ (button-spec) (map (λ (button-spec)
(new switchable-button% (new switchable-button%