| 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.
|
| Thu, 30 Jan 2020 20:21:42 -0800 |
David Barts |
Got it correctly enabling and disabling menu items.
|
| Thu, 30 Jan 2020 19:38:59 -0800 |
David Barts |
Finally fixed the alignment. Wotta PITA...
|
| Thu, 30 Jan 2020 18:27:03 -0800 |
David Barts |
A few tweaks. Piece of shit still can't left-align its labels. Sigh.
|
| Thu, 30 Jan 2020 18:01:57 -0800 |
David Barts |
Looks better, Still wrestling with the damned labels.
|
