Reimplement the Navi widget with pub/sub.
authorMike Taylor <mike@indexdata.com>
Thu, 20 Mar 2014 10:14:32 +0000 (10:14 +0000)
committerMike Taylor <mike@indexdata.com>
Thu, 20 Mar 2014 10:14:32 +0000 (10:14 +0000)
commit190a3a6a267bf7bc10d244ff80295e9caf2e10cf
tree4c74cf76f5d1e5b7c2b5ef9a99eb28e6b7721d1d
parent42ca1c4a0ca09e45e4cc56e91f1cf69584839d94
Reimplement the Navi widget with pub/sub.
tools/htdocs/mkws.js