Matthew Flatt 551293044c racket/gui: fix auto-scrollbars for editor GUI ... It's possible to go from a state where one scroll bar is needed (vertical or horizontal) to a state where each scrollbar is needed iff the other scrollbar is needed. In that case, the auto-scrollbar algorithm couldn't find either fixpoint and would loop forever. original commit: b041a151e61727124b8d1c50f72fcd6d73319f13		2013-03-25 05:15:24 -06:00
collects	racket/gui: fix auto-scrollbars for editor GUI	2013-03-25 05:15:24 -06:00
doc/release-notes	remove unsupported MDI styles and method	2011-08-04 08:02:54 -06:00
man/man1	minor man-page corrections	2011-02-01 08:01:17 -07:00