menu
fixed bug in scrollback.switch(...)