Back widget brings focus back to previous page in history when clicked.
shortdesc > Jump to previous page
if(jump_history.length > 1){
jump_history.pop(); // forget current page
if(jump_history.length == 0) return;
[page_name, index] = jump_history[jump_history.length-1];
} while(page_name == "ScreenSaver") // never go back to ScreenSaver
switch_page(page_name, index);
this.element.onclick = this.on_click.bind(this);