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.