log

age author description
Wed, 05 Feb 2020 16:47:25 -0800 David Barts Make the JScrollPane scroll properly to highlighted text.
Fri, 31 Jan 2020 00:06:59 -0800 David Barts Remove more deadwood, add non-Mac About dialog.
Thu, 30 Jan 2020 22:06:37 -0800 David Barts Stop dialog resizing, fix detection of bad font sizes.