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