Thu, 07 May 2020 17:12:25 -0700 |
davidb |
Always define an editor kit, so we always get HTML mode.
|
Thu, 07 May 2020 14:21:23 -0700 |
David Barts |
tabs to spaces
|
Thu, 07 May 2020 14:05:40 -0700 |
davidb |
Fix multiple border glitches.
|
Thu, 07 May 2020 12:33:52 -0700 |
David Barts |
Fix help dialog.
|
Thu, 07 May 2020 09:59:28 -0700 |
David Barts |
Get help working on Linux.
|
Thu, 07 May 2020 08:30:56 -0700 |
David Barts |
Merge commit.
|
Thu, 07 May 2020 08:29:58 -0700 |
David Barts |
Add help menu item, UNTESTED.
|
Mon, 04 May 2020 18:37:34 -0700 |
David Barts |
Merged changes.
|