Matthew Flatt 88c755baf5 racket/gui: double-check size on attmpt to set editor scroll ... A scroll request could fail if a resize notification is still in flight (i.e., queued but not yet executed), so double-check the size on a scroll request. Closes PR 13582 original commit: bfc9c41358face5c6d79bad591b842e7f5dc38e8		2013-03-31 06:39:49 -06:00
collects	racket/gui: double-check size on attmpt to set editor scroll	2013-03-31 06:39:49 -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