Home
last modified time | relevance | path

Searched refs:HEADER_HEIGHT (Results 1 – 2 of 2) sorted by relevance

/external/perfetto/ui/src/frontend/
Dheap_profile_panel.ts35 const HEADER_HEIGHT = 30; constant
86 this.flamegraph.getHeight() + HEADER_HEIGHT :
261 this.flamegraph.draw(ctx, size.width, size.height, 0, HEADER_HEIGHT, unit);
/external/doclava/res/assets/templates/assets/
Ddoclava-developer-docs.js6 var HEADER_HEIGHT = -1; variable
91 var windowHeight = ($(window).height() - HEADER_HEIGHT);
144 HEADER_HEIGHT = $("#header").height()+3;
234 var windowHeight = ($(window).height() - HEADER_HEIGHT);
252 var windowHeight = ($(window).height() - HEADER_HEIGHT);