since we speak about customizing, i was wondering today : is it possible to customize some shortcuts ?

for example i often use "insert large horizontal ( above some text"

but i find the shortcut not very easy

how can i edit an own list of my desired shortcuts ?

Vincent

I'd like to write in a document style similar to the one used in the Texmacs user manual of 2013 (https://hal.archives-ouvertes.fr/hal-00785535/document).

–––

Vincent Douce Mathoscope

https://tsunaminuage.wordpress.com/