Matthew Flatt 4cb523e858 racket/gui cocoa: make 'border handling more flexible ... When buttons are hidden and/or disabled so that there's a change to the only button that is visible, enabled, and has the 'border style, then make it the default. original commit: 4dd405d9c93148b55c530d7babe79f57608e9310		2013-11-05 14:57:57 -07:00
pkgs	racket/gui cocoa: make 'border handling more flexible	2013-11-05 14:57:57 -07:00