gui/collects
Robby Findler 992b544ab7 Adjust DrRacket so the window can get narrower
For example, a new DrRacket window (with a file named tmp.rkt in the
and 356 afterwards.  This is under mac os x with, I believe, the
default system font sizes. (The file is important because different
languages can have different buttons in the toolbar and the filename's
length itself can affect the minimum size.)

Mostly this change is the addition of a new kind of panel that
lets its children have multiple fixed sizes (as opposed to
just a single minimum size and (optionally  arbitrarily large))
It also adjusts the various toolbar buttons to use this new code.

Also, there's a few tweaks to shrink other things that became the
limiting factor in shrinking the width of the DrRacket window.

Currently, at least for #lang racket programs, the toolbar buttons
along the top of the window are the limiting factor (including the
save button).  With a bogus language (ie, #lang rackeeet), the bottom
bar is the limiting factor, since that will have only the Save, Run,
and Stop buttons.

related to PR 13281

original commit: 993cd40208b040bfce9db649a59ff7bb9e95de2d
2012-11-29 09:43:05 -06:00
..
embedded-gui some long overdue Rackety: renaming the 'scheme:' exports of the framework to 'racket:' 2011-11-30 06:45:50 -06:00
framework Adjust DrRacket so the window can get narrower 2012-11-29 09:43:05 -06:00
hierlist rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
icons
mred fix error check on the result of place-children 2012-11-28 10:54:34 -06:00
mrlib Adjust DrRacket so the window can get narrower 2012-11-29 09:43:05 -06:00
racket A bunch of scheme' -> racket' conversions. 2012-04-19 16:02:03 -04:00
redex/private adjust the names of the dot/neato binaries to be platform-specific 2012-01-17 12:42:42 -06:00
scheme fix make-gui-namespace from scheme/gui/base and racket/gui/base 2010-06-07 20:06:51 -04:00
scribblings Adjust DrRacket so the window can get narrower 2012-11-29 09:43:05 -06:00
tests make the drr log follower show its results in a separate window 2012-11-27 22:56:44 -06:00
unstable removed useless requires 2011-09-27 19:28:44 -06:00