Re:JEdit – Programmer's Text Editor
by manaskarekar on Sunday November 21, 2021 @09:04AM
(#29296275)
Just throwing a wild idea out there, if you ever decide to write a non-jvm based port of jEdit, possibly with support for the older plug-ins, I think it would become the best editor.
[ Parent
| on HN ]
There are no comments on this comment yet.