search

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

M-; prompts for comment syntax #18

Closed david-christiansen closed 6 years ago

david-christiansen commented 6 years ago

M-; doesn't presently work the way I'd expect.

Expected behavior: I highlight a bit of text, and M-; comments it out

Observed behavior: I'm prompted for a comment syntax, after which M-; works.