5 Commits

Author	SHA1	Message	Date
Matthew Flatt	c843108e8d	OS X: disable reordering of tabs in the new tab-panel% widget ... Fixes racket/drracket#52 (cherry picked from commit f0d10e9cc8)	2016-04-18 09:50:02 -06:00
Matthew Flatt	bcfe618463	fix disable of tab-panel% with 'no-border ... (cherry picked from commit 6de1e4310c)	2016-04-15 22:01:28 -06:00
Matthew Flatt	9ef883a79f	Cocoa, 64-bit, 10.10 and later: use MMTabBarView ... On 10.11 in 64-bit mode, showing a frame with a PSMTabBarControl instance somehow causes the event loop to become occupied on mouse movements, so that moving the mouse in a `2htdp/universe` program is slow when more than one tab is open in DrRacket. The modern MMTabBarView widget doesn't have that problem. Also, the MMTabBarView widget has a Yosemite look (to replace Aqua).	2016-04-07 13:12:30 -06:00
Matthew Flatt	60611bc081	cocoa: fix focus method ... Don't confuse "should the Tab key advance the focus to this window?" with "can this window have the focus?".	2015-01-11 11:05:36 -07:00
Sam Tobin-Hochstadt	135e357a37	Remove extra directories.	2014-12-02 02:33:07 -05:00