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.
|
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 10:50:07 -0800 |
David Barts |
Big reorg; compiled but untested.
|
Thu, 23 Jan 2020 00:02:07 -0800 |
David Barts |
Add some searching hooks.
|
Tue, 21 Jan 2020 13:07:35 -0800 |
David Barts |
Make an efficiency improvement: cache the scrollPane.
|
Sat, 18 Jan 2020 12:55:26 -0800 |
David Barts |
Clean out some deadwood.
|
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.
|