Re:A lightweight, simple, fast, feature-filled, text editor ...
by vouaobrasil on Tuesday December 27, 2022 @06:02PM
(#34155050)
Thanks so much! FWIW, I actually tried looking for how to do that but couldn't find it. It's cool that there are so many knowledgeable people here :D
[ Parent
| on HN ]
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.