let browse s = !current_browse s