Undocumented Keybinding: Where is Alt-/ (Toggle Comment) officially mentioned?

[sgon00]

Hi, I am a new micro editor user. I accidentally found I could use alt - / to toggle comment/uncomment. But I can't find this keybinding anywhere in the doc, e.g., > help keybindings and https://github.com/micro-editor/micro/blob/master/runtime/help/keybindings.md. I am wondering where this keybinding is mentioned.

[CasperKristiansson]

Alt-/ is documented, just not in the core keybindings page. It comes from the built-in comment plugin, whose help topic is > help comment.

That page calls it the default comment/uncomment binding and also lists CtrlUnderscore, which is equivalent to Ctrl-/ in most terminals. The plugin registers Alt-/ as lua:comment.comment during initialization; that separate plugin registration explains why it is absent from the static core binding table in help keybindings.

You can bind another key to lua:comment.comment, or run > comment directly. The same help text and binding are present in both current master and v2.0.15.

[sgon00]

Thanks a lot for the quick answer. Just another question regarding keybindings: I failed to bind Ctrl-Shift/Alt-[letter]. I couldn't find any documentation mentioning how to do Ctrl-Shift or Ctrl-Alt keybindings. Is this supported in micro or not? It is nowhere mentioned. Thanks.

[dmaluka]

It depends on the terminal. If you run > raw and then press those Ctrl-Shift/Alt-[letter] keys, what does it show?

[sgon00]

It depends on the terminal. If you run > raw and then press those Ctrl-Shift/Alt-[letter] keys, what does it show?

Thanks a lot for the tip. I tried it with different terminals, and they capture and show different key mappings. Now I have a good idea of how to debug this. Thanks!