Set anchor in url on nav click

This commit is contained in:
Alan Bernstein 2017-04-27 19:02:47 -05:00
parent d1758bec4e
commit e491dbe60d

View file

@ -238,6 +238,7 @@ function handle_nav_click(e) {
// e.id = "nav-xxx"
name = e.id.substring(4)
set_active_pane_by_name(name)
window.location.hash = name
}
function set_active_pane_by_name(name) {