| 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.
|
