Go to file
Matthew Flatt 02aa21f3fa minor man-page corrections
Merge to 5.1

original commit: 0011b386ba5e80dd33ce69ba0f1b05ce0d3284cd
2011-02-01 08:01:17 -07:00
collects monitor the font size preference in order to redo the one-line size computation for the search bar 2011-01-31 17:46:31 -06: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