gui/collects
Matthew Flatt aa1e17c346 better support for avoiding window overlap with the Mac dock
svn: r3070

original commit: 67b5c30218c3428f6b57575a99fa85ad68eb08d6
2006-05-26 11:15:39 +00:00
..
embedded-gui {quick,merge}sort -> sort 2006-04-01 12:24:15 +00:00
framework * Added remove-empty-menus', same places as reorder-menus'. 2006-05-25 17:18:58 +00:00
hierlist {quick,merge}sort -> sort 2006-04-01 12:24:15 +00:00
icons . 2004-11-30 14:23:20 +00:00
mred better support for avoiding window overlap with the Mac dock 2006-05-26 11:15:39 +00:00
mrlib {quick,merge}sort -> sort 2006-04-01 12:24:15 +00:00
tests disable framework test exes and change web-server executable names 2006-05-22 21:44:00 +00:00