ToolForm: Minor style fix
History panel: allow toggling show_hidden/deleted without altering the sessionStorage preferences