Matthew Flatt c49deb88ce gtk: map left-tab key to #\tab ... Closes PR 11697 Merge to 5.1 original commit: 0eed4e9462a227326b2edd0e1c4b2d6e739043b4		2011-02-02 06:46:03 -07:00
collects	gtk: map left-tab key to #\tab	2011-02-02 06:46:03 -07:00
doc/release-notes	get rid of the old barriers around GUI event dispatch	2011-01-17 09:21:50 -07:00
man/man1	minor man-page corrections	2011-02-01 08:01:17 -07:00