log

age author description
2020-01-31 David Barts Stop dialog resizing, fix detection of bad font sizes.
2020-01-31 David Barts Didn't like eating its own dog food. Fixed.
2020-01-31 David Barts Remove deadwood.
2020-01-31 David Barts Got it correctly enabling and disabling menu items.
2020-01-31 David Barts Finally fixed the alignment. Wotta PITA...
2020-01-31 David Barts A few tweaks. Piece of shit still can't left-align its labels. Sigh.
2020-01-31 David Barts Looks better, Still wrestling with the damned labels.
2020-01-31 David Barts Compiles, new menu still a mess.
2020-01-30 David Barts Remove the troublesome delete command(s).
2020-01-29 David Barts Fix searching (and main display).
2020-01-29 David Barts Use BorderFactory; clean up Find dialog.
2020-01-29 David Barts Big reorg; compiled but untested.
2020-01-29 David Barts Added tag pre-big-reorg for changeset 3129d0e24086
2020-01-24 David Barts Use ant tasks, not <exec>. pre-big-reorg
2020-01-24 David Barts Preliminary menu bar support.
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.