Email Gateway (Aug 22 2022 at 17:41): Email Gateway (Aug 22 2022 at 17:41):From: Michal Wallace <michal.wallace@gmail.com>
Since "--" is no longer accepted as a comment syntax, it would be nice if
that
input mapped to a built-in jEdit shortcut for the new syntax (maybe
offering a
menu with the code comment symbol as well... Otherwise, how does one type
it?)
Email Gateway (Aug 22 2022 at 17:41):From: Makarius <makarius@sketis.net>
I usually complete on \co (comment) or \ca (cancel).
Makarius
Last updated: Nov 21 2024 at 12:39 UTC