am 25e7300c: load the navtree javascript on demand; don\'t try setting up the...
am 25e7300c: load the navtree javascript on demand; don\'t try setting up the tree until it\'s loaded
* commit '25e7300c':
load the navtree javascript on demand; don't try setting up the tree until it's loaded