On Wed, 13 Feb 2019 at 12:50, Jean-Marc Lasgouttes <[email protected]<mailto:[email protected]>> wrote: Please open a ticket. Making Esc do what you want would not be difficult, we just have to decide whether it is the good solution. Maybe it is.
We could also have a special key sequence like "Alt-M Esc", but it seems a bit complicated to me. JMarc Done. Thanks to everybody who replied. Ami
