log

age author description
Tue, 21 Jan 2020 13:07:35 -0800 David Barts Make an efficiency improvement: cache the scrollPane.
Mon, 20 Jan 2020 23:02:51 -0800 David Barts Don't need head.
Mon, 20 Jan 2020 22:59:04 -0800 David Barts Better cope with Swing's idiosyncrasies.
Mon, 20 Jan 2020 21:53:15 -0800 David Barts Braindead POS wasn't honoring <style> tags; fixed that.
Sun, 19 Jan 2020 19:44:42 -0800 David Barts Remove some deadwood.
Sun, 19 Jan 2020 19:39:52 -0800 David Barts Fix the glitch of the JTextPane's sometimes being too tall.
Sun, 19 Jan 2020 18:24:20 -0800 David Barts Make border sizes more explicit.