TODO - make a proper page
A decent GUI editor.
2014-06-04 - 1.1.1 ∞
Tested 1.1.1 on 2014-06-04, on Lubuntu 14.04, updated recently.
Very fast. Good looking. Seems quite good for the two minutes I spent reviewing it.
alt-up / alt-down do not actually work to go to the previous/next bookmark.
- Show stopper.
Cannot do code-folding.