Matthew Flatt ff20e067cf racket/gui Gtk: choice% and combo% repair for some Gtk variants ... Finishes repair started in 8cbcba8ed so that mouse events can be intercepted for `combo%` and `choice%` objects. DrRacket's font preference choice relies on intercepting mouse events to populate the menu, for example. Reference counting doesn't seem to work, probably because the relevant widgets are supposed to be private. original commit: 310df9e9cf4607260a64308182088cf40533a0e4		2014-04-24 16:46:05 -06:00
pkgs	racket/gui Gtk: choice% and combo% repair for some Gtk variants	2014-04-24 16:46:05 -06:00