| Sun, 03 Apr 2022 15:37:42 -0700 |
David Barts |
Convert to new-style mac app.
|
| Sat, 26 Mar 2022 23:45:34 -0700 |
David Barts |
Set app name, deal with some deprecation.
|
| Wed, 23 Mar 2022 23:56:29 -0700 |
David Barts |
Port to OpenJDK 15 (mostly done).
|
| Sat, 19 Mar 2022 23:04:40 -0700 |
David Barts |
An attempt to get it to troff-ize styled text.
|
| Tue, 13 Apr 2021 10:34:51 -0700 |
David Barts |
Merge... bah.
|
| Tue, 13 Apr 2021 10:33:33 -0700 |
David Barts |
Add README file.
|
| Thu, 16 Apr 2020 12:19:41 -0700 |
davidb |
app -> winapp
|
| Tue, 14 Apr 2020 15:17:45 -0700 |
davidb |
Correct bad APPDATA code.
|
| Tue, 14 Apr 2020 14:35:04 -0700 |
davidb |
So it builds under Windoze (at last!)
|
| Sun, 12 Apr 2020 18:45:23 -0700 |
David Barts |
Input type to SetOnceImpl cannot be nullable.
|
| Sun, 12 Apr 2020 17:03:11 -0700 |
David Barts |
Log exit from File? Quit.
|
| Sun, 12 Apr 2020 14:39:15 -0700 |
David Barts |
Fix app name.
|
| Sun, 12 Apr 2020 14:31:06 -0700 |
David Barts |
Recoded; cleaned up root namespace, removed race conditions.
|
| Mon, 10 Feb 2020 16:40:09 -0700 |
David Barts |
Fix display glitch when resizing queue truncates it.
|
| Mon, 10 Feb 2020 06:55:07 -0700 |
David Barts |
Adjust spacing in preferences.
|
| Sun, 09 Feb 2020 22:13:26 -0700 |
David Barts |
Fix some settings/preferences issues.
|
| Sun, 09 Feb 2020 19:23:16 -0700 |
David Barts |
Simplified the settings. Compiles, not tested.
|
| Sat, 08 Feb 2020 23:05:39 -0700 |
David Barts |
Add default.properties.
|
| 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.
|
| Fri, 31 Jan 2020 00:06:59 -0800 |
David Barts |
Remove more deadwood, add non-Mac About dialog.
|
| Thu, 30 Jan 2020 22:06:37 -0800 |
David Barts |
Stop dialog resizing, fix detection of bad font sizes.
|
| Thu, 30 Jan 2020 21:03:56 -0800 |
David Barts |
Didn't like eating its own dog food. Fixed.
|
| Thu, 30 Jan 2020 20:24:02 -0800 |
David Barts |
Remove deadwood.
|
