search

m-fleury / isabelle-emacs

Clone of isabelle, with LSP extensions in seperate branches
Other
25 stars 5 forks source link

Reordering of symbol shortcuts #72

Open halbGefressen opened 2 years ago

halbGefressen commented 2 years ago

Is it possible to reorder symbol shortcuts? A quick shortcut for \<open> and \<close> would be awesome, but <</>> already bind to \<langle> and \<rangle> (probably because those have the same shortcut in Isabelle/jedit).

m-fleury commented 2 years ago

I guess you are on a keyboard where « and » is not easily accessible and that you don't use langle and rangle (both of which I do).

The line responsible for it is https://github.com/m-fleury/isar-mode/blob/master/isar-unicode-tokens.el#L778.

m-fleury commented 2 years ago

In the meantime, you can add

(map-put! isar-symbol-shortcuts "<<" "\\<open>")
(map-put! isar-symbol-shortcuts ">>" "\\<close>")

to your configuration (this make langle and rangle not accessible)