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

shrink the max size of the filename popup menu in drracket

Browse Source 
closes PR 12317
This commit is contained in:
Robby Findler 2011-10-26 21:10:45 -05:00
parent 0dff5ca92b
commit 91866f58c7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/drracket/private/unit.rkt
View File

@ -4165,7 +4165,7 @@ module browser threading seems wrong.
(set! name-message (new drs-name-message% [parent name-panel])) (set! name-message (new drs-name-message% [parent name-panel]))
(send name-message stretchable-width #t) (send name-message stretchable-width #t)
(send name-message set-allow-shrinking 200) (send name-message set-allow-shrinking 160)
[define teachpack-items null] [define teachpack-items null]
[define break-button (void)] [define break-button (void)]
[define execute-button (void)] [define execute-button (void)]