flatmax@597: var cookie_namespace = 'doxygen'; 
flatmax@597: var sidenav,navtree,content,header;
flatmax@597: 
flatmax@597: function readCookie(cookie) 
flatmax@597: {
flatmax@597:   var myCookie = cookie_namespace+"_"+cookie+"=";
flatmax@597:   if (document.cookie) 
flatmax@597:   {
flatmax@597:     var index = document.cookie.indexOf(myCookie);
flatmax@597:     if (index != -1) 
flatmax@597:     {
flatmax@597:       var valStart = index + myCookie.length;
flatmax@597:       var valEnd = document.cookie.indexOf(";", valStart);
flatmax@597:       if (valEnd == -1) 
flatmax@597:       {
flatmax@597:         valEnd = document.cookie.length;
flatmax@597:       }
flatmax@597:       var val = document.cookie.substring(valStart, valEnd);
flatmax@597:       return val;
flatmax@597:     }
flatmax@597:   }
flatmax@597:   return 0;
flatmax@597: }
flatmax@597: 
flatmax@597: function writeCookie(cookie, val, expiration) 
flatmax@597: {
flatmax@597:   if (val==undefined) return;
flatmax@597:   if (expiration == null) 
flatmax@597:   {
flatmax@597:     var date = new Date();
flatmax@597:     date.setTime(date.getTime()+(10*365*24*60*60*1000)); // default expiration is one week
flatmax@597:     expiration = date.toGMTString();
flatmax@597:   }
flatmax@597:   document.cookie = cookie_namespace + "_" + cookie + "=" + val + "; expires=" + expiration+"; path=/";
flatmax@597: }
flatmax@597:  
flatmax@597: function resizeWidth() 
flatmax@597: {
flatmax@597:   var windowWidth = $(window).width() + "px";
flatmax@597:   var sidenavWidth = $(sidenav).width();
flatmax@597:   content.css({marginLeft:parseInt(sidenavWidth)+6+"px"}); //account for 6px-wide handle-bar
flatmax@597:   writeCookie('width',sidenavWidth, null);
flatmax@597: }
flatmax@597: 
flatmax@597: function restoreWidth(navWidth)
flatmax@597: {
flatmax@597:   var windowWidth = $(window).width() + "px";
flatmax@597:   content.css({marginLeft:parseInt(navWidth)+6+"px"});
flatmax@597:   sidenav.css({width:navWidth + "px"});
flatmax@597: }
flatmax@597: 
flatmax@597: function resizeHeight() 
flatmax@597: {
flatmax@597:   var headerHeight = header.height();
flatmax@597:   var footerHeight = footer.height();
flatmax@597:   var windowHeight = $(window).height() - headerHeight - footerHeight;
flatmax@597:   content.css({height:windowHeight + "px"});
flatmax@597:   navtree.css({height:windowHeight + "px"});
flatmax@597:   sidenav.css({height:windowHeight + "px",top: headerHeight+"px"});
flatmax@597: }
flatmax@597: 
flatmax@597: function initResizable()
flatmax@597: {
flatmax@597:   header  = $("#top");
flatmax@597:   sidenav = $("#side-nav");
flatmax@597:   content = $("#doc-content");
flatmax@597:   navtree = $("#nav-tree");
flatmax@597:   footer  = $("#nav-path");
flatmax@597:   $(".side-nav-resizable").resizable({resize: function(e, ui) { resizeWidth(); } });
flatmax@597:   $(window).resize(function() { resizeHeight(); });
flatmax@597:   var width = readCookie('width');
flatmax@597:   if (width) { restoreWidth(width); } else { resizeWidth(); }
flatmax@597:   resizeHeight();
flatmax@597:   var url = location.href;
flatmax@597:   var i=url.indexOf("#");
flatmax@597:   if (i>=0) window.location.hash=url.substr(i);
flatmax@597:   var _preventDefault = function(evt) { evt.preventDefault(); };
flatmax@597:   $("#splitbar").bind("dragstart", _preventDefault).bind("selectstart", _preventDefault);
flatmax@597: }
flatmax@597: 
flatmax@597: