data/patches/doxygen-1.8.3.1.patch

   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
   4 @@ -1,5 +1,6 @@
   5  var cookie_namespace = 'doxygen';
   6  var sidenav,navtree,content,header;
   7 +var navrows = new Array();
   8
   9  function readCookie(cookie)
  10  {
  11 @@ -39,24 +40,42 @@
  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"});
  19 +  }
  20    writeCookie('width',sidenavWidth, null);
  21  }
  22
  23  function restoreWidth(navWidth)
  24  {
  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"});
  33 +  }
  34  }
  35
  36  function resizeHeight()
  37  {
  38    var headerHeight = header.outerHeight();
  39    var footerHeight = footer.outerHeight();
  40 +  var navrowsH = 0;
  41 +  for(var i = 1; i <= 4;i++) {
  42 +   if(navrows[i] != null)
  43 +     navrowsH = navrowsH + navrows[i].height();
  44 +  }
  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"});
  52  }
  53
  54  function initResizable()
  55 @@ -66,6 +85,10 @@
  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);
  61 +  }
  62 +
  63    $(".side-nav-resizable").resizable({resize: function(e, ui) { resizeWidth(); } });
  64    $(window).resize(function() { resizeHeight(); });
  65    var width = readCookie('width');