Select Git revision
We still need a save/restore pixel data thing for whem menus and scrollback is used... but that's for another day.
We still need a save/restore pixel data thing for whem menus and scrollback is used... but that's for another day.