From 1fa467a424f12619d3989774c492353092cfd344 Mon Sep 17 00:00:00 2001
From: Andreas Kling <awesomekling@gmail.com>
Date: Sun, 30 Jun 2019 15:58:53 +0200
Subject: [PATCH] Launcher: Tighten up the widget layout a bit.

---
 Applications/Launcher/main.cpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Applications/Launcher/main.cpp b/Applications/Launcher/main.cpp
index 2e56508ada..4d3829da1b 100644
--- a/Applications/Launcher/main.cpp
+++ b/Applications/Launcher/main.cpp
@@ -68,13 +68,14 @@ GWindow* make_launcher_window()
 
     auto* window = new GWindow;
     window->set_title("Launcher");
-    window->set_rect(50, 50, 50, config->groups().size() * 55 + 15);
+    window->set_rect(50, 50, 50, config->groups().size() * 50);
     window->set_show_titlebar(false);
 
     auto* widget = new GWidget;
     widget->set_fill_with_background_color(true);
     widget->set_layout(make<GBoxLayout>(Orientation::Vertical));
-    widget->layout()->set_margins({ 5, 5, 5, 5 });
+    widget->layout()->set_spacing(0);
+    widget->layout()->set_margins({ 5, 0, 5, 0 });
     window->set_main_widget(widget);
 
     for (auto& group : config->groups()) {