[Gretl-devel] window-switching keystroke