thoughtpolice / cryptol-mode

A Cryptol major mode for Emacs.
https://www.cryptol.net
GNU General Public License v3.0
16 stars 6 forks source link

Real indentation support. #5

Open thoughtpolice opened 11 years ago

weaversa commented 3 years ago

Proper support would be nice to have. In lieu of that, one small thing that keeps popping up is that the cursor doesn't go back to the beginning after writing a doc comment. Sometimes I don't notice until the interpreter complains about a missing = or something that really doesn't key on the extra space (see below). This is especially annoying when inside a private block as it's not so easy to see that the extra space has been introduced.

/**
 * My favorite doc comment
 */
_cursor starts here

Any help would be greatly appreciated.