config_files/patches/doxygen-1.8.0.patch

   1 diff -Naur doxygen-1.7.3_orig/src/resize.js doxygen-1.7.3_new/src/resize.js
   2 --- doxygen-1.7.3_orig/src/resize.js    2010-12-12 21:53:19.000000000 +0300
   3 +++ doxygen-1.7.3_new/src/resize.js     2011-04-08 19:04:50.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 @@ -36,27 +37,45 @@
  12
  13  function resizeWidth()
  14  {
  15 -  var windowWidth = $(window).width() + "px";
  16 +  var windowWidth = $(window).width();
  17    var sidenavWidth = $(sidenav).width();
  18    content.css({marginLeft:parseInt(sidenavWidth)+6+"px"}); //account for 6px-wide handle-bar
  19 +    for(var i = 1; i <= 4;i++) {
  20 +       if(navrows[i] != null)
  21 +           navrows[i].css({marginLeft:parseInt(sidenavWidth)+6+"px"}); //account for 6px-wide handle-bar
  22 +           navrows[i].css({width:windowWidth-parseInt(sidenavWidth) - 6 + "px"});
  23 +  }
  24 +
  25    writeCookie('width',sidenavWidth, null);
  26  }
  27
  28  function restoreWidth(navWidth)
  29  {
  30 -  var windowWidth = $(window).width() + "px";
  31 +  var windowWidth = $(window).width();
  32    content.css({marginLeft:parseInt(navWidth)+6+"px"});
  33    sidenav.css({width:navWidth + "px"});
  34 +  for(var i = 1; i <= 4;i++) {
  35 +    if(navrows[i] != null)
  36 +       navrows[i].css({marginLeft:parseInt(navWidth)+6+"px"});
  37 +       navrows[i].css({width:windowWidth-parseInt(navWidth) - 6 + "px"});
  38 +  }
  39  }
  40
  41  function resizeHeight()
  42  {
  43    var headerHeight = header.height();
  44    var footerHeight = footer.height();
  45 +  var navrowsH = 0;
  46 +  for(var i = 1; i <= 4;i++) {
  47 +    if(navrows[i] != null)
  48 +       navrowsH = navrowsH + navrows[i].height();
  49 +  }
  50 +
  51    var windowHeight = $(window).height() - headerHeight - footerHeight;
  52 +  var treeH = windowHeight + navrowsH;
  53    content.css({height:windowHeight + "px"});
  54 -  navtree.css({height:windowHeight + "px"});
  55 -  sidenav.css({height:windowHeight + "px",top: headerHeight+"px"});
  56 +  navtree.css({height:treeH +"px"});
  57 +  sidenav.css({height:treeH +"px", top: headerHeight+"px"});
  58  }
  59
  60  function initResizable()
  61 @@ -66,6 +85,10 @@
  62    content = $("#doc-content");
  63    navtree = $("#nav-tree");
  64    footer  = $("#nav-path");
  65 +  for(var i = 1; i <= 4;i++) {
  66 +    navrows[i] = $("#navrow"+i);
  67 +  }
  68 +
  69    $(".side-nav-resizable").resizable({resize: function(e, ui) { resizeWidth(); } });
  70    $(window).resize(function() { resizeHeight(); });
  71    var width = readCookie('width');