Sun, 09 Feb 2020 19:23:16 -0700 |
David Barts |
Simplified the settings. Compiles, not tested.
|
Sat, 08 Feb 2020 22:10:01 -0700 |
David Barts |
Got the settings stuff compiling (untested).
|
Thu, 30 Jan 2020 20:21:42 -0800 |
David Barts |
Got it correctly enabling and disabling menu items.
|
Thu, 30 Jan 2020 16:01:51 -0800 |
David Barts |
Compiles, new menu still a mess.
|
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.
|