log

age author description
Thu, 30 Jan 2020 16:01:51 -0800 David Barts Compiles, new menu still a mess.
Wed, 29 Jan 2020 21:56:12 -0800 David Barts Remove the troublesome delete command(s).
Wed, 29 Jan 2020 14:36:16 -0800 David Barts Fix searching (and main display).
Wed, 29 Jan 2020 13:39:14 -0800 David Barts Use BorderFactory; clean up Find dialog.
Wed, 29 Jan 2020 10:50:07 -0800 David Barts Big reorg; compiled but untested.
Wed, 29 Jan 2020 10:47:46 -0800 David Barts Added tag pre-big-reorg for changeset 3129d0e24086
Thu, 23 Jan 2020 20:46:59 -0800 David Barts Use ant tasks, not <exec>. pre-big-reorg
Thu, 23 Jan 2020 19:25:17 -0800 David Barts Preliminary menu bar support.
Thu, 23 Jan 2020 14:29:32 -0800 David Barts More package stuff.
Thu, 23 Jan 2020 10:11:16 -0800 David Barts Add some support for making bundled apps to build.xml.
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.
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.
Sun, 19 Jan 2020 15:43:01 -0800 David Barts Stomp out race conditions and set width adaptively.
Sun, 19 Jan 2020 14:00:17 -0800 David Barts Get layout of main display non-ugly.
Sun, 19 Jan 2020 12:46:42 -0800 David Barts More border tweaks, etc.
Sun, 19 Jan 2020 10:53:38 -0800 David Barts Tweak borders (incomplete).
Sat, 18 Jan 2020 12:55:26 -0800 David Barts Clean out some deadwood.
Sat, 18 Jan 2020 12:31:53 -0800 David Barts Use JPanel.
Sat, 18 Jan 2020 11:13:27 -0800 David Barts Stop it from spinning on non-textual clipboard data.
Sat, 18 Jan 2020 10:58:45 -0800 David Barts Maybe this will auto-scroll reliably?
Sat, 18 Jan 2020 09:12:58 -0800 David Barts Got it auto-scrolling to the bottom.
Tue, 14 Jan 2020 14:07:19 -0800 David Barts Incomplete; checking it in as a backup.