Searched refs:headerHeight (Results 1 – 4 of 4) sorted by relevance
| /external/perfetto/ui/src/frontend/ |
| D | overview_timeline_panel.ts | 61 const headerHeight = 25; constant
62 const tracksHeight = size.height - headerHeight; constant
73 ctx.fillRect(xPos, 0, 1, headerHeight - 5);
90 const yOff = Math.floor(headerHeight + y * trackHeight);
109 ctx.fillRect(0, headerHeight, vizStartPx, tracksHeight);
110 ctx.fillRect(vizEndPx, headerHeight, this.width - vizEndPx, tracksHeight);
114 ctx.fillRect(vizStartPx - 1, headerHeight, 1, tracksHeight);
115 ctx.fillRect(vizEndPx, headerHeight, 1, tracksHeight);
|
| /external/eigen/doc/ |
| D | eigen_navtree_hacks.js | 69 var headerHeight = header.height();
71 var windowHeight = $(window).height() - headerHeight - footerHeight;
74 sidenav.css({height:(windowHeight) + "px",top: headerHeight+"px"});
|
| /external/epid-sdk/doc/html/ |
| D | resize.js | 75 var headerHeight = header.outerHeight();
77 var windowHeight = $(window).height() - headerHeight - footerHeight;
|
| D | navtree.js | 262 var headerHeight = $("#top").height();
264 var windowHeight = $(window).height() - headerHeight - footerHeight;
|