redrawNavi was a one-line function invoked in only one place.
authorMike Taylor <mike@indexdata.com>
Fri, 21 Mar 2014 12:48:42 +0000 (12:48 +0000)
committerMike Taylor <mike@indexdata.com>
Fri, 21 Mar 2014 12:48:42 +0000 (12:48 +0000)
commit2681321da7a6c02655b92fc46832c5d80f90e6c1
tree1cc5748dcf388925058e02e5f03b283edfa7cd37
parenteef5cd690b9dcb379c4dad874ddff8afea6ac67c
redrawNavi was a one-line function invoked in only one place.
Inline it.
tools/htdocs/mkws.js