I find that Alt+X is bound to “Enter data” in Mogan. I want to rebind it back to “Semantics” as in TeXmacs. However, there are many semantic specifications, and I would not bind these one-by-one. Is there any way to restore these keys? Thanks.
I find that Alt+X is bound to “Enter data” in Mogan. I want to rebind it back to “Semantics” as in TeXmacs. However, there are many semantic specifications, and I would not bind these one-by-one. Is there any way to restore these keys? Thanks.