| Mon, 10 Feb 2020 06:55:07 -0700 |
David Barts |
Adjust spacing in preferences.
|
| Sun, 09 Feb 2020 22:13:26 -0700 |
David Barts |
Fix some settings/preferences issues.
|
| Sun, 09 Feb 2020 19:23:16 -0700 |
David Barts |
Simplified the settings. Compiles, not tested.
|
| Sat, 08 Feb 2020 23:05:39 -0700 |
David Barts |
Add default.properties.
|
| Sat, 08 Feb 2020 22:10:01 -0700 |
David Barts |
Got the settings stuff compiling (untested).
|
| Wed, 05 Feb 2020 16:47:25 -0800 |
David Barts |
Make the JScrollPane scroll properly to highlighted text.
|
| Fri, 31 Jan 2020 00:06:59 -0800 |
David Barts |
Remove more deadwood, add non-Mac About dialog.
|
| Thu, 30 Jan 2020 22:06:37 -0800 |
David Barts |
Stop dialog resizing, fix detection of bad font sizes.
|
| Thu, 30 Jan 2020 21:03:56 -0800 |
David Barts |
Didn't like eating its own dog food. Fixed.
|
| Thu, 30 Jan 2020 20:24:02 -0800 |
David Barts |
Remove deadwood.
|
| Thu, 30 Jan 2020 20:21:42 -0800 |
David Barts |
Got it correctly enabling and disabling menu items.
|
| Thu, 30 Jan 2020 19:38:59 -0800 |
David Barts |
Finally fixed the alignment. Wotta PITA...
|
| Thu, 30 Jan 2020 18:27:03 -0800 |
David Barts |
A few tweaks. Piece of shit still can't left-align its labels. Sigh.
|
| Thu, 30 Jan 2020 18:01:57 -0800 |
David Barts |
Looks better, Still wrestling with the damned labels.
|
| 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.
|
