1 |
|
---|
2 | // generate a table of contents in the side-nav based on the h1/h2 tags of the current page.
|
---|
3 | function generate_autotoc() {
|
---|
4 | var headers = $("h1, h2");
|
---|
5 | if(headers.length > 1) {
|
---|
6 | var toc = $("#side-nav").append('<div id="nav-toc" class="toc"><h3>Table of contents</h3></div>');
|
---|
7 | toc = $("#nav-toc");
|
---|
8 | var footerHeight = footer.height();
|
---|
9 | toc = toc.append('<ul></ul>');
|
---|
10 | toc = toc.find('ul');
|
---|
11 | var indices = new Array();
|
---|
12 | indices[0] = 0;
|
---|
13 | indices[1] = 0;
|
---|
14 |
|
---|
15 | var h1counts = $("h1").length;
|
---|
16 | headers.each(function(i) {
|
---|
17 | var current = $(this);
|
---|
18 | var levelTag = current[0].tagName.charAt(1);
|
---|
19 | if(h1counts==0)
|
---|
20 | levelTag--;
|
---|
21 | var cur_id = current.attr("id");
|
---|
22 |
|
---|
23 | indices[levelTag-1]+=1;
|
---|
24 | var prefix = indices[0];
|
---|
25 | if (levelTag >1) {
|
---|
26 | prefix+="."+indices[1];
|
---|
27 | }
|
---|
28 |
|
---|
29 | // Uncomment to add number prefixes
|
---|
30 | // current.html(prefix + " " + current.html());
|
---|
31 | for(var l = levelTag; l < 2; ++l){
|
---|
32 | indices[l] = 0;
|
---|
33 | }
|
---|
34 |
|
---|
35 | if(cur_id == undefined) {
|
---|
36 | current.attr('id', 'title' + i);
|
---|
37 | current.addClass('anchor');
|
---|
38 | toc.append("<li class='level" + levelTag + "'><a id='link" + i + "' href='#title" +
|
---|
39 | i + "' title='" + current.prop("tagName") + "'>" + current.text() + "</a></li>");
|
---|
40 | } else {
|
---|
41 | toc.append("<li class='level" + levelTag + "'><a id='" + cur_id + "' href='#title" +
|
---|
42 | i + "' title='" + current.prop("tagName") + "'>" + current.text() + "</a></li>");
|
---|
43 | }
|
---|
44 | });
|
---|
45 | resizeHeight();
|
---|
46 | }
|
---|
47 | }
|
---|
48 |
|
---|
49 |
|
---|
50 | var global_navtree_object;
|
---|
51 |
|
---|
52 | // Overloaded to remove links to sections/subsections
|
---|
53 | function getNode(o, po)
|
---|
54 | {
|
---|
55 | po.childrenVisited = true;
|
---|
56 | var l = po.childrenData.length-1;
|
---|
57 | for (var i in po.childrenData) {
|
---|
58 | var nodeData = po.childrenData[i];
|
---|
59 | if((!nodeData[1]) || (nodeData[1].indexOf('#')==-1)) // <- we added this line
|
---|
60 | po.children[i] = newNode(o, po, nodeData[0], nodeData[1], nodeData[2], i==l);
|
---|
61 | }
|
---|
62 | }
|
---|
63 |
|
---|
64 | // Overloaded to adjust the size of the navtree wrt the toc
|
---|
65 | function resizeHeight()
|
---|
66 | {
|
---|
67 | var toc = $("#nav-toc");
|
---|
68 | var tocHeight = toc.height(); // <- we added this line
|
---|
69 | var headerHeight = header.height();
|
---|
70 | var footerHeight = footer.height();
|
---|
71 | var windowHeight = $(window).height() - headerHeight - footerHeight;
|
---|
72 | content.css({height:windowHeight + "px"});
|
---|
73 | navtree.css({height:(windowHeight-tocHeight) + "px"}); // <- we modified this line
|
---|
74 | sidenav.css({height:(windowHeight) + "px",top: headerHeight+"px"});
|
---|
75 | }
|
---|
76 |
|
---|
77 | // Overloaded to save the root node into global_navtree_object
|
---|
78 | function initNavTree(toroot,relpath)
|
---|
79 | {
|
---|
80 | var o = new Object();
|
---|
81 | global_navtree_object = o; // <- we added this line
|
---|
82 | o.toroot = toroot;
|
---|
83 | o.node = new Object();
|
---|
84 | o.node.li = document.getElementById("nav-tree-contents");
|
---|
85 | o.node.childrenData = NAVTREE;
|
---|
86 | o.node.children = new Array();
|
---|
87 | o.node.childrenUL = document.createElement("ul");
|
---|
88 | o.node.getChildrenUL = function() { return o.node.childrenUL; };
|
---|
89 | o.node.li.appendChild(o.node.childrenUL);
|
---|
90 | o.node.depth = 0;
|
---|
91 | o.node.relpath = relpath;
|
---|
92 | o.node.expanded = false;
|
---|
93 | o.node.isLast = true;
|
---|
94 | o.node.plus_img = document.createElement("img");
|
---|
95 | o.node.plus_img.src = relpath+"ftv2pnode.png";
|
---|
96 | o.node.plus_img.width = 16;
|
---|
97 | o.node.plus_img.height = 22;
|
---|
98 |
|
---|
99 | if (localStorageSupported()) {
|
---|
100 | var navSync = $('#nav-sync');
|
---|
101 | if (cachedLink()) {
|
---|
102 | showSyncOff(navSync,relpath);
|
---|
103 | navSync.removeClass('sync');
|
---|
104 | } else {
|
---|
105 | showSyncOn(navSync,relpath);
|
---|
106 | }
|
---|
107 | navSync.click(function(){ toggleSyncButton(relpath); });
|
---|
108 | }
|
---|
109 |
|
---|
110 | navTo(o,toroot,window.location.hash,relpath);
|
---|
111 |
|
---|
112 | $(window).bind('hashchange', function(){
|
---|
113 | if (window.location.hash && window.location.hash.length>1){
|
---|
114 | var a;
|
---|
115 | if ($(location).attr('hash')){
|
---|
116 | var clslink=stripPath($(location).attr('pathname'))+':'+
|
---|
117 | $(location).attr('hash').substring(1);
|
---|
118 | a=$('.item a[class$="'+clslink+'"]');
|
---|
119 | }
|
---|
120 | if (a==null || !$(a).parent().parent().hasClass('selected')){
|
---|
121 | $('.item').removeClass('selected');
|
---|
122 | $('.item').removeAttr('id');
|
---|
123 | }
|
---|
124 | var link=stripPath2($(location).attr('pathname'));
|
---|
125 | navTo(o,link,$(location).attr('hash'),relpath);
|
---|
126 | } else if (!animationInProgress) {
|
---|
127 | $('#doc-content').scrollTop(0);
|
---|
128 | $('.item').removeClass('selected');
|
---|
129 | $('.item').removeAttr('id');
|
---|
130 | navTo(o,toroot,window.location.hash,relpath);
|
---|
131 | }
|
---|
132 | })
|
---|
133 |
|
---|
134 | $(window).load(showRoot);
|
---|
135 | }
|
---|
136 |
|
---|
137 | // return false if the the node has no children at all, or has only section/subsection children
|
---|
138 | function checkChildrenData(node) {
|
---|
139 | if (!(typeof(node.childrenData)==='string')) {
|
---|
140 | for (var i in node.childrenData) {
|
---|
141 | var url = node.childrenData[i][1];
|
---|
142 | if(url.indexOf("#")==-1)
|
---|
143 | return true;
|
---|
144 | }
|
---|
145 | return false;
|
---|
146 | }
|
---|
147 | return (node.childrenData);
|
---|
148 | }
|
---|
149 |
|
---|
150 | // Modified to:
|
---|
151 | // 1 - remove the root node
|
---|
152 | // 2 - remove the section/subsection children
|
---|
153 | function createIndent(o,domNode,node,level)
|
---|
154 | {
|
---|
155 | var level=-2; // <- we replaced level=-1 by level=-2
|
---|
156 | var n = node;
|
---|
157 | while (n.parentNode) { level++; n=n.parentNode; }
|
---|
158 | var imgNode = document.createElement("img");
|
---|
159 | imgNode.style.paddingLeft=(16*(level)).toString()+'px';
|
---|
160 | imgNode.width = 16;
|
---|
161 | imgNode.height = 22;
|
---|
162 | imgNode.border = 0;
|
---|
163 | if (checkChildrenData(node)) { // <- we modified this line to use checkChildrenData(node) instead of node.childrenData
|
---|
164 | node.plus_img = imgNode;
|
---|
165 | node.expandToggle = document.createElement("a");
|
---|
166 | node.expandToggle.href = "javascript:void(0)";
|
---|
167 | node.expandToggle.onclick = function() {
|
---|
168 | if (node.expanded) {
|
---|
169 | $(node.getChildrenUL()).slideUp("fast");
|
---|
170 | node.plus_img.src = node.relpath+"ftv2pnode.png";
|
---|
171 | node.expanded = false;
|
---|
172 | } else {
|
---|
173 | expandNode(o, node, false, false);
|
---|
174 | }
|
---|
175 | }
|
---|
176 | node.expandToggle.appendChild(imgNode);
|
---|
177 | domNode.appendChild(node.expandToggle);
|
---|
178 | imgNode.src = node.relpath+"ftv2pnode.png";
|
---|
179 | } else {
|
---|
180 | imgNode.src = node.relpath+"ftv2node.png";
|
---|
181 | domNode.appendChild(imgNode);
|
---|
182 | }
|
---|
183 | }
|
---|
184 |
|
---|
185 | // Overloaded to automatically expand the selected node
|
---|
186 | function selectAndHighlight(hash,n)
|
---|
187 | {
|
---|
188 | var a;
|
---|
189 | if (hash) {
|
---|
190 | var link=stripPath($(location).attr('pathname'))+':'+hash.substring(1);
|
---|
191 | a=$('.item a[class$="'+link+'"]');
|
---|
192 | }
|
---|
193 | if (a && a.length) {
|
---|
194 | a.parent().parent().addClass('selected');
|
---|
195 | a.parent().parent().attr('id','selected');
|
---|
196 | highlightAnchor();
|
---|
197 | } else if (n) {
|
---|
198 | $(n.itemDiv).addClass('selected');
|
---|
199 | $(n.itemDiv).attr('id','selected');
|
---|
200 | }
|
---|
201 | if ($('#nav-tree-contents .item:first').hasClass('selected')) {
|
---|
202 | $('#nav-sync').css('top','30px');
|
---|
203 | } else {
|
---|
204 | $('#nav-sync').css('top','5px');
|
---|
205 | }
|
---|
206 | expandNode(global_navtree_object, n, true, true); // <- we added this line
|
---|
207 | showRoot();
|
---|
208 | }
|
---|
209 |
|
---|
210 |
|
---|
211 | $(document).ready(function() {
|
---|
212 |
|
---|
213 | generate_autotoc();
|
---|
214 |
|
---|
215 | (function (){ // wait until the first "selected" element has been created
|
---|
216 | try {
|
---|
217 |
|
---|
218 | // this line will triger an exception if there is no #selected element, i.e., before the tree structure is complete.
|
---|
219 | document.getElementById("selected").className = "item selected";
|
---|
220 |
|
---|
221 | // ok, the default tree has been created, we can keep going...
|
---|
222 |
|
---|
223 | // expand the "Chapters" node
|
---|
224 | if(window.location.href.indexOf('unsupported')==-1)
|
---|
225 | expandNode(global_navtree_object, global_navtree_object.node.children[0].children[2], true, true);
|
---|
226 | else
|
---|
227 | expandNode(global_navtree_object, global_navtree_object.node.children[0].children[1], true, true);
|
---|
228 |
|
---|
229 | // Hide the root node "Eigen"
|
---|
230 | $(document.getElementsByClassName('index.html')[0]).parent().parent().css({display:"none"});
|
---|
231 |
|
---|
232 | } catch (err) {
|
---|
233 | setTimeout(arguments.callee, 10);
|
---|
234 | }
|
---|
235 | })();
|
---|
236 | });
|
---|
237 |
|
---|
238 | $(window).load(function() {
|
---|
239 | resizeHeight();
|
---|
240 | });
|
---|