Searched refs:detailsHeight (Results 1 – 5 of 5) sorted by relevance
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/perfetto/ui/src/frontend/ |
| H A D | details_panel.ts | 165 private detailsHeight = DRAG_HANDLE_HEIGHT_PX;
227 this.detailsHeight = DEFAULT_DETAILS_HEIGHT_PX;
240 height: `${this.detailsHeight}px`,
246 this.detailsHeight = Math.max(height, DRAG_HANDLE_HEIGHT_PX);
248 height: this.detailsHeight,
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/perfetto/ui/src/frontend/ |
| H A D | details_panel.ts | 182 private detailsHeight = DEFAULT_DETAILS_HEIGHT_PX;
276 height: `${this.detailsHeight}px`,
282 this.detailsHeight = Math.max(height, DRAG_HANDLE_HEIGHT_PX);
284 height: this.detailsHeight,
|
| /dports/net-p2p/vuze/vuze-5.7.4.0_2/org/gudy/azureus2/ui/swt/shells/ |
| H A D | MessageSlideShell.java | 425 int detailsHeight = Utils.adjustPXForDPI(DETAILS_HEIGHT); in create()
427 - detailsWidth, shellBounds.y - detailsHeight, detailsWidth, in create()
428 detailsHeight); in create()
|
| /dports/games/scourge/scourge/src/ |
| H A D | pceditor.cpp | 569 int detailsHeight = 145; in createUI() local
572 secondColStart + secondColWidth, 200 + detailsHeight, in createUI()
|
| /dports/games/openrct2/OpenRCT2-0.3.5.1/src/openrct2-ui/windows/ |
| H A D | TileInspector.cpp | 412 int16_t detailsHeight, int16_t propertiesHeight, rct_string_id stringId) in MakeGroupboxSettings() argument
419 settings.details_top_offset = (offsetSum += detailsHeight); in MakeGroupboxSettings()
|