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:24:18 -0800 |
David Barts |
Only convert RTF to HTML if needed. Much more efficient.
|
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.
|