From c3b6df60b72762af58dd9966dbe25c22b5cd33e9 Mon Sep 17 00:00:00 2001
From: Andreas Kling <kling@serenityos.org>
Date: Mon, 10 Aug 2020 21:06:39 +0200
Subject: [PATCH] Help: Spruce up the UI with some tasteful layout margins

---
 Applications/Help/main.cpp | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Applications/Help/main.cpp b/Applications/Help/main.cpp
index 8a47a0f29d..40a4f1244c 100644
--- a/Applications/Help/main.cpp
+++ b/Applications/Help/main.cpp
@@ -111,9 +111,13 @@ int main(int argc, char* argv[])
     auto model = ManualModel::create();
 
     auto& left_tab_bar = splitter.add<GUI::TabWidget>();
-    auto& tree_view = left_tab_bar.add_tab<GUI::TreeView>("Tree");
+    auto& tree_view_container = left_tab_bar.add_tab<GUI::Widget>("Tree");
+    tree_view_container.set_layout<GUI::VerticalBoxLayout>();
+    tree_view_container.layout()->set_margins({ 4, 4, 4, 4 });
+    auto& tree_view = tree_view_container.add<GUI::TreeView>();
     auto& search_view = left_tab_bar.add_tab<GUI::Widget>("Search");
     search_view.set_layout<GUI::VerticalBoxLayout>();
+    search_view.layout()->set_margins({ 4, 4, 4, 4 });
     auto& search_box = search_view.add<GUI::TextBox>();
     auto& search_list_view = search_view.add<GUI::ListView>();
     search_box.set_preferred_size(0, 20);