Re: Closing an ERT (was: keybindings referenceguide)

[Gunnar]

> Nowadays, I find myself touching the mouse mostly to close ERT boxes,
> because I can't see a way to close these via a keybinding.
Ctrl+i closes it for me.