()
| 23 | @licend The above is the entire license notice for the JavaScript code in this file |
| 24 | */ |
| 25 | function initResizable() |
| 26 | { |
| 27 | var cookie_namespace = 'doxygen'; |
| 28 | var sidenav,navtree,content,header,collapsed,collapsedWidth=0,barWidth=6,desktop_vp=768,titleHeight; |
| 29 | |
| 30 | function readCookie(cookie) |
| 31 | { |
| 32 | var myCookie = cookie_namespace+"_"+cookie+"="; |
| 33 | if (document.cookie) { |
| 34 | var index = document.cookie.indexOf(myCookie); |
| 35 | if (index != -1) { |
| 36 | var valStart = index + myCookie.length; |
| 37 | var valEnd = document.cookie.indexOf(";", valStart); |
| 38 | if (valEnd == -1) { |
| 39 | valEnd = document.cookie.length; |
| 40 | } |
| 41 | var val = document.cookie.substring(valStart, valEnd); |
| 42 | return val; |
| 43 | } |
| 44 | } |
| 45 | return 0; |
| 46 | } |
| 47 | |
| 48 | function writeCookie(cookie, val, expiration) |
| 49 | { |
| 50 | if (val==undefined) return; |
| 51 | if (expiration == null) { |
| 52 | var date = new Date(); |
| 53 | date.setTime(date.getTime()+(10*365*24*60*60*1000)); // default expiration is one week |
| 54 | expiration = date.toGMTString(); |
| 55 | } |
| 56 | document.cookie = cookie_namespace + "_" + cookie + "=" + val + "; expires=" + expiration+"; path=/"; |
| 57 | } |
| 58 | |
| 59 | function resizeWidth() |
| 60 | { |
| 61 | var windowWidth = $(window).width() + "px"; |
| 62 | var sidenavWidth = $(sidenav).outerWidth(); |
| 63 | content.css({marginLeft:parseInt(sidenavWidth)+"px"}); |
| 64 | writeCookie('width',sidenavWidth-barWidth, null); |
| 65 | } |
| 66 | |
| 67 | function restoreWidth(navWidth) |
| 68 | { |
| 69 | var windowWidth = $(window).width() + "px"; |
| 70 | content.css({marginLeft:parseInt(navWidth)+barWidth+"px"}); |
| 71 | sidenav.css({width:navWidth + "px"}); |
| 72 | } |
| 73 | |
| 74 | function resizeHeight() |
| 75 | { |
| 76 | var headerHeight = header.outerHeight(); |
| 77 | var footerHeight = footer.outerHeight(); |
| 78 | var windowHeight = $(window).height() - headerHeight - footerHeight; |
| 79 | content.css({height:windowHeight + "px"}); |
| 80 | navtree.css({height:windowHeight + "px"}); |
| 81 | sidenav.css({height:windowHeight + "px"}); |
| 82 | var width=$(window).width(); |
nothing calls this directly
no test coverage detected