GUI -- User Prefs written as a service; persistent topo settings updated a bit; still WIP.
Change-Id: I6945dd9eb4b325a8f1637c44e2c4b271126b2bc4
Showing
6 changed files
with
236 additions
and
68 deletions
web/gui/src/main/webapp/app/fw/util/prefs.js
0 → 100644
-
Please register or login to post a comment