Home
last modified time | relevance | path

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

/external/perfetto/ui/src/frontend/
Dviewer_page.ts41 const DRAG_HANDLE_HEIGHT_PX = 28; constant
42 const DEFAULT_DETAILS_HEIGHT_PX = 230 + DRAG_HANDLE_HEIGHT_PX;
119 private isClosed = this.height <= DRAG_HANDLE_HEIGHT_PX;
138 const newHeight = this.dragStartHeight + (DRAG_HANDLE_HEIGHT_PX / 2) - y;
139 this.isClosed = Math.floor(newHeight) <= DRAG_HANDLE_HEIGHT_PX;
159 if (this.height === DRAG_HANDLE_HEIGHT_PX) {
164 this.resize(DRAG_HANDLE_HEIGHT_PX);
181 private detailsHeight = DRAG_HANDLE_HEIGHT_PX;
353 this.detailsHeight = Math.max(height, DRAG_HANDLE_HEIGHT_PX);