mirror of
https://gitlab.com/libeigen/eigen.git
synced 2025-07-30 16:52:01 +08:00
Update file eigen_navtree_hacks.js
This commit is contained in:
parent
ddb163ffb1
commit
1dcb07bb2a
@ -360,8 +360,8 @@ $(document).ready(function() {
|
||||
|
||||
(function (){ // wait until the first "selected" element has been created
|
||||
try {
|
||||
|
||||
// this line will triger an exception if there is no #selected element, i.e., before the tree structure is complete.
|
||||
// this line will triger an exception if there is no #selected element, i.e., before the tree structure is
|
||||
// complete.
|
||||
document.getElementById("selected").className = "item selected";
|
||||
|
||||
// ok, the default tree has been created, we can keep going...
|
||||
|
Loading…
x
Reference in New Issue
Block a user