log

age author description
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.