! Definition of the 'mine' keymap F12: RESET F11: REDRAW