From 4dff72fbf7dc3b1c2bd422b367f9e9acd963112e Mon Sep 17 00:00:00 2001 From: Andreas Kling Date: Wed, 28 Jul 2021 20:22:23 +0200 Subject: [PATCH] HackStudio: Tweak splitter spacings in the main UI The splitters all felt a little bit too small and hard-to-grab. This patch puts a little more fat on them. --- Userland/DevTools/HackStudio/HackStudioWidget.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Userland/DevTools/HackStudio/HackStudioWidget.cpp b/Userland/DevTools/HackStudio/HackStudioWidget.cpp index 79b2ba469c..52edb457cc 100644 --- a/Userland/DevTools/HackStudio/HackStudioWidget.cpp +++ b/Userland/DevTools/HackStudio/HackStudioWidget.cpp @@ -87,8 +87,10 @@ HackStudioWidget::HackStudioWidget(const String& path_to_project) auto& toolbar_container = add(); auto& outer_splitter = add(); + outer_splitter.layout()->set_spacing(5); auto& left_hand_splitter = outer_splitter.add(); + left_hand_splitter.layout()->set_spacing(5); left_hand_splitter.set_fixed_width(150); create_project_tab(left_hand_splitter); m_project_tree_view_context_menu = create_project_tree_view_context_menu(); @@ -104,6 +106,7 @@ HackStudioWidget::HackStudioWidget(const String& path_to_project) m_diff_viewer = m_right_hand_stack->add(); m_editors_splitter = m_right_hand_stack->add(); + m_editors_splitter->layout()->set_spacing(5); m_editors_splitter->layout()->set_margins({ 0, 3, 0, 0 }); add_new_editor(*m_editors_splitter);