From e491dbe60dd7111b76b921c5b1271cabf71c30ae Mon Sep 17 00:00:00 2001
From: Alan Bernstein <alan.aaron.bernstein@gmail.com>
Date: Thu, 27 Apr 2017 19:02:47 -0500
Subject: [PATCH] Set anchor in url on nav click

---
 webui/assets/main.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/webui/assets/main.js b/webui/assets/main.js
index d51b83fc8..0e154267a 100644
--- a/webui/assets/main.js
+++ b/webui/assets/main.js
@@ -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) {