Add hotkeys F12/Shift-F12 to switch to next/previous buffer