Update file eigen_navtree_hacks.js

Charles Schlosserrequested to merge
fix_navtree into master

Reference issue

What does this implement/fix?

Additional information

Merge request reports