From b25eba10d2f60c54bcd3516183050b36bfa9f390 Mon Sep 17 00:00:00 2001 From: Gunnar Beutner Date: Sat, 8 May 2021 01:10:48 +0200 Subject: [PATCH] Profiler: Make the timeline resizable This just moves the timeline and the tab widget into a horizontal splitter to make them resizable. --- Userland/DevTools/Profiler/main.cpp | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/Userland/DevTools/Profiler/main.cpp b/Userland/DevTools/Profiler/main.cpp index 414225aa7f..b707fa6cb0 100644 --- a/Userland/DevTools/Profiler/main.cpp +++ b/Userland/DevTools/Profiler/main.cpp @@ -124,9 +124,11 @@ int main(int argc, char** argv) timeline_view->add(*timeline_view, *profile, process); } - [[maybe_unused]] auto& timeline_container = main_widget.add(*timeline_header_container, *timeline_view); + auto& main_splitter = main_widget.add(); - auto& tab_widget = main_widget.add(); + [[maybe_unused]] auto& timeline_container = main_splitter.add(*timeline_header_container, *timeline_view); + + auto& tab_widget = main_splitter.add(); auto& tree_tab = tab_widget.add_tab("Call Tree"); tree_tab.set_layout();