log

age author description
2020-01-23 David Barts More package stuff.
2020-01-23 David Barts Add some support for making bundled apps to build.xml.
2020-01-23 David Barts Add some searching hooks.
2020-01-22 David Barts HTMLEditorKit shares all stylesheets. How unbelievably braindamaged.
2020-01-22 David Barts Prune out some deadwood.
2020-01-22 David Barts Make it more fail-safe.
2020-01-22 David Barts Only convert RTF to HTML if needed. Much more efficient.
2020-01-21 David Barts Make an efficiency improvement: cache the scrollPane.
2020-01-21 David Barts Don't need head.
2020-01-21 David Barts Better cope with Swing's idiosyncrasies.
2020-01-21 David Barts Braindead POS wasn't honoring <style> tags; fixed that.
2020-01-20 David Barts Remove some deadwood.
2020-01-20 David Barts Fix the glitch of the JTextPane's sometimes being too tall.
2020-01-20 David Barts Make border sizes more explicit.
2020-01-19 David Barts Stomp out race conditions and set width adaptively.
2020-01-19 David Barts Get layout of main display non-ugly.
2020-01-19 David Barts More border tweaks, etc.
2020-01-19 David Barts Tweak borders (incomplete).
2020-01-18 David Barts Clean out some deadwood.
2020-01-18 David Barts Use JPanel.
2020-01-18 David Barts Stop it from spinning on non-textual clipboard data.
2020-01-18 David Barts Maybe this will auto-scroll reliably?
2020-01-18 David Barts Got it auto-scrolling to the bottom.
2020-01-14 David Barts Incomplete; checking it in as a backup.