log

age author description
Sat, 08 Feb 2020 23:05:39 -0700 David Barts Add default.properties.
Sat, 08 Feb 2020 22:10:01 -0700 David Barts Got the settings stuff compiling (untested).
Wed, 05 Feb 2020 16:47:25 -0800 David Barts Make the JScrollPane scroll properly to highlighted text.