commit c7ae795c31c06163c8c7f9407d8f5d65f3b7892c
author Simon Hunt <simon@onlab.us> Wed Apr 08 18:59:27 2015 -0700
committer Simon Hunt <simon@onlab.us> Wed Apr 08 18:59:36 2015 -0700
tree 5537961705861356e8e23df1800ae2209b46f873
parent 553db17965719b83775e29418884195b55dd6343

GUI -- User Prefs written as a service; persistent topo settings updated a bit; still WIP.

Change-Id: I6945dd9eb4b325a8f1637c44e2c4b271126b2bc4

web/gui/src/main/webapp/index.html

diff --git a/web/gui/src/main/webapp/index.html b/web/gui/src/main/webapp/index.html
index 06e0336..3a335a7 100644
--- a/web/gui/src/main/webapp/index.html
+++ b/web/gui/src/main/webapp/index.html
@@ -45,6 +45,7 @@
     <script src="app/fw/util/random.js"></script>
     <script src="app/fw/util/theme.js"></script>
     <script src="app/fw/util/keys.js"></script>
+    <script src="app/fw/util/prefs.js"></script>
 
     <script src="app/fw/mast/mast.js"></script>
     <script src="app/fw/nav/nav.js"></script>