2020-02-10 |
David Barts |
Fix display glitch when resizing queue truncates it.
|
2020-02-10 |
David Barts |
Adjust spacing in preferences.
|
2020-02-10 |
David Barts |
Fix some settings/preferences issues.
|
2020-02-10 |
David Barts |
Simplified the settings. Compiles, not tested.
|
2020-02-09 |
David Barts |
Add default.properties.
|
2020-02-09 |
David Barts |
Got the settings stuff compiling (untested).
|
2020-02-06 |
David Barts |
Make the JScrollPane scroll properly to highlighted text.
|
2020-01-31 |
David Barts |
Remove more deadwood, add non-Mac About dialog.
|
2020-01-31 |
David Barts |
Stop dialog resizing, fix detection of bad font sizes.
|
2020-01-31 |
David Barts |
Didn't like eating its own dog food. Fixed.
|
2020-01-31 |
David Barts |
Remove deadwood.
|
2020-01-31 |
David Barts |
Got it correctly enabling and disabling menu items.
|
2020-01-31 |
David Barts |
Finally fixed the alignment. Wotta PITA...
|
2020-01-31 |
David Barts |
A few tweaks. Piece of shit still can't left-align its labels. Sigh.
|
2020-01-31 |
David Barts |
Looks better, Still wrestling with the damned labels.
|
2020-01-31 |
David Barts |
Compiles, new menu still a mess.
|
2020-01-30 |
David Barts |
Remove the troublesome delete command(s).
|
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-29 |
David Barts |
Added tag pre-big-reorg for changeset 3129d0e24086
|
2020-01-24 |
David Barts |
Use ant tasks, not <exec>.
pre-big-reorg
|
2020-01-24 |
David Barts |
Preliminary menu bar support.
|
2020-01-23 |
David Barts |
More package stuff.
|
2020-01-23 |
David Barts |
Add some support for making bundled apps to build.xml.
|
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 |
Make it more fail-safe.
|
2020-01-22 |
David Barts |
Only convert RTF to HTML if needed. Much more efficient.
|