1 diff -Naur doxygen-1.8.3.1_SRC_INIT/src/resize.js doxygen-1.8.3.1_SRC_MODIF/src/resize.js
2 --- doxygen-1.8.3.1_SRC_INIT/src/resize.js 2013-01-05 19:17:43.000000000 +0400
3 +++ doxygen-1.8.3.1_SRC_MODIF/src/resize.js 2013-03-15 18:23:33.000000000 +0400
5 var cookie_namespace = 'doxygen';
6 var sidenav,navtree,content,header;
7 +var navrows = new Array();
9 function readCookie(cookie)
12 var windowWidth = $(window).width() + "px";
13 var sidenavWidth = $(sidenav).outerWidth();
14 content.css({marginLeft:parseInt(sidenavWidth)+6+"px"}); //account for 6px-wide handle-bar
15 + for(var i = 1; i <= 4;i++) {
16 + if(navrows[i] != null)
17 + navrows[i].css({marginLeft:parseInt(sidenavWidth)+6+"px"}); //account for 6px-wide handle-bar
18 + navrows[i].css({width:windowWidth-parseInt(sidenavWidth) - 6 + "px"});
20 writeCookie('width',sidenavWidth, null);
23 function restoreWidth(navWidth)
25 - var windowWidth = $(window).width() + "px";
26 + var windowWidth = $(window).width() + "px";
27 content.css({marginLeft:parseInt(navWidth)+6+"px"});
28 sidenav.css({width:navWidth + "px"});
29 + for(var i = 1; i <= 4;i++) {
30 + if(navrows[i] != null)
31 + navrows[i].css({marginLeft:parseInt(navWidth)+6+"px"});
32 + navrows[i].css({width:windowWidth-parseInt(navWidth) - 6 + "px"});
36 function resizeHeight()
38 var headerHeight = header.outerHeight();
39 var footerHeight = footer.outerHeight();
41 + for(var i = 1; i <= 4;i++) {
42 + if(navrows[i] != null)
43 + navrowsH = navrowsH + navrows[i].height();
45 var windowHeight = $(window).height() - headerHeight - footerHeight;
46 + var treeH = windowHeight + navrowsH;
47 content.css({height:windowHeight + "px"});
48 navtree.css({height:windowHeight + "px"});
49 sidenav.css({height:windowHeight + "px",top: headerHeight+"px"});
50 + navtree.css({height:treeH +"px"});
51 + sidenav.css({height:treeH +"px", top: headerHeight+"px"});
54 function initResizable()
56 content = $("#doc-content");
57 navtree = $("#nav-tree");
58 footer = $("#nav-path");
59 + for(var i = 1; i <= 4;i++) {
60 + navrows[i] = $("#navrow"+i);
63 $(".side-nav-resizable").resizable({resize: function(e, ui) { resizeWidth(); } });
64 $(window).resize(function() { resizeHeight(); });
65 var width = readCookie('width');