log

age author description
Thu, 23 Jan 2020 00:02:07 -0800 David Barts Add some searching hooks.
Tue, 21 Jan 2020 23:38:10 -0800 David Barts HTMLEditorKit shares all stylesheets. How unbelievably braindamaged.
Tue, 21 Jan 2020 16:42:32 -0800 David Barts Prune out some deadwood.
Tue, 21 Jan 2020 16:39:02 -0800 David Barts Make it more fail-safe.
Tue, 21 Jan 2020 16:24:18 -0800 David Barts Only convert RTF to HTML if needed. Much more efficient.
Tue, 21 Jan 2020 13:07:35 -0800 David Barts Make an efficiency improvement: cache the scrollPane.