8 days ago |
David Barts |
Commit most recent changes.
last-old-threading
|
2022-03-27 |
David Barts |
Set app name, deal with some deprecation.
|
2020-04-12 |
David Barts |
Fix app name.
|
2020-04-12 |
David Barts |
Recoded; cleaned up root namespace, removed race conditions.
|
2020-02-10 |
David Barts |
Simplified the settings. Compiles, not tested.
|
2020-02-09 |
David Barts |
Got the settings stuff compiling (untested).
|
2020-01-31 |
David Barts |
Got it correctly enabling and disabling menu items.
|
2020-01-31 |
David Barts |
Compiles, new menu still a mess.
|
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-24 |
David Barts |
Preliminary menu bar support.
|
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 |
Only convert RTF to HTML if needed. Much more efficient.
|
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 |
Use JPanel.
|
2020-01-18 |
David Barts |
Stop it from spinning on non-textual clipboard data.
|
2020-01-14 |
David Barts |
Incomplete; checking it in as a backup.
|