From a6bb955c9db37e65d67ebdf9685fa0e5412fe5a7 Mon Sep 17 00:00:00 2001 From: Andreas Kling Date: Wed, 4 Sep 2019 18:53:46 +0200 Subject: [PATCH] GSplitter: Change default spacing to 3 pixels --- Libraries/LibGUI/GSplitter.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Libraries/LibGUI/GSplitter.cpp b/Libraries/LibGUI/GSplitter.cpp index 27273a2cce..2f82f5219e 100644 --- a/Libraries/LibGUI/GSplitter.cpp +++ b/Libraries/LibGUI/GSplitter.cpp @@ -9,7 +9,7 @@ GSplitter::GSplitter(Orientation orientation, GWidget* parent) set_layout(make(orientation)); set_fill_with_background_color(true); set_background_color(Color::WarmGray); - layout()->set_spacing(4); + layout()->set_spacing(3); } GSplitter::~GSplitter()