Re:A lightweight, simple, fast, feature-filled, text editor ...
by aethy on Tuesday December 27, 2022 @06:05PM
(#34155084)
If you want a bit better discoverability; you may want to try the `addons` release; it comes with a settings plugin that lays out all the settings in GUI so you don't have to go through digging through the source. Could be helpful if you just wanna poke around.
[ Parent
| on HN ]
There are no comments on this comment yet.