Matthew Flatt 4ba8900913 gtk: fix menu-bar height handling to work right with Ubuntu's patch to support out-of-frame menu bars in Unity ... original commit: b4e3e065ac64afa0c3b79b8031fdcb148e1e0025		2011-06-20 14:46:14 -06:00
collects	gtk: fix menu-bar height handling to work right with Ubuntu's patch to support out-of-frame menu bars in Unity	2011-06-20 14:46:14 -06:00
doc/release-notes	clean up drawing with 0-width pens (hairline mode)	2011-03-27 14:21:21 -06:00
man/man1	minor man-page corrections	2011-02-01 08:01:17 -07:00