log

age author description
2020-02-09 David Barts Add default.properties.
2020-02-09 David Barts Got the settings stuff compiling (untested).
2020-02-06 David Barts Make the JScrollPane scroll properly to highlighted text.
2020-01-31 David Barts Remove more deadwood, add non-Mac About dialog.
2020-01-31 David Barts Stop dialog resizing, fix detection of bad font sizes.
2020-01-31 David Barts Didn't like eating its own dog food. Fixed.
2020-01-31 David Barts Remove deadwood.
Loading...