Hi, 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.
Am I missing something or shall I add that as a feature request? -- Regards, Mickey. ------------------------------------------------------------------ Dipl.-Inf. Michael 'Mickey' Lauer <[EMAIL PROTECTED]> ------------------------------------------------------------------
