| Mon, 20 Jan 2020 22:59:04 -0800 |
David Barts |
Better cope with Swing's idiosyncrasies.
|
| Mon, 20 Jan 2020 21:53:15 -0800 |
David Barts |
Braindead POS wasn't honoring <style> tags; fixed that.
|
| Sun, 19 Jan 2020 19:44:42 -0800 |
David Barts |
Remove some deadwood.
|
| Sun, 19 Jan 2020 19:39:52 -0800 |
David Barts |
Fix the glitch of the JTextPane's sometimes being too tall.
|
| Sun, 19 Jan 2020 18:24:20 -0800 |
David Barts |
Make border sizes more explicit.
|
| Sun, 19 Jan 2020 15:43:01 -0800 |
David Barts |
Stomp out race conditions and set width adaptively.
|
| Sun, 19 Jan 2020 14:00:17 -0800 |
David Barts |
Get layout of main display non-ugly.
|
| Sun, 19 Jan 2020 12:46:42 -0800 |
David Barts |
More border tweaks, etc.
|
| Sun, 19 Jan 2020 10:53:38 -0800 |
David Barts |
Tweak borders (incomplete).
|
| Sat, 18 Jan 2020 12:55:26 -0800 |
David Barts |
Clean out some deadwood.
|
| Sat, 18 Jan 2020 12:31:53 -0800 |
David Barts |
Use JPanel.
|
| Sat, 18 Jan 2020 11:13:27 -0800 |
David Barts |
Stop it from spinning on non-textual clipboard data.
|
| 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.
|
