Mac OS X gui: Don't yield input more than needed. (End of the set of changes that makes quitting really fast.)