From 294c12b18064253b5ad85a5772b18a11300b0ba7 Mon Sep 17 00:00:00 2001
From: Twan van Laarhoven <twanvl@gmail.com>
Date: Tue, 21 Apr 2020 01:04:58 +0200
Subject: [PATCH] Remove space below tab bar, it has repaint issues and wastes
 space

---
 src/gui/set/window.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/gui/set/window.cpp b/src/gui/set/window.cpp
index 10693808..ecf4d8dc 100644
--- a/src/gui/set/window.cpp
+++ b/src/gui/set/window.cpp
@@ -136,7 +136,7 @@ SetWindow::SetWindow(Window* parent, const SetP& set)
   // tab bar, sizer
   wxToolBar* tabBar = new wxToolBar(this, ID_TAB_BAR, wxDefaultPosition, wxDefaultSize, wxTB_FLAT | wxNO_BORDER | wxTB_HORIZONTAL | wxTB_HORZ_TEXT | wxTB_NOALIGN);
   wxSizer* s = new wxBoxSizer(wxVERTICAL);
-  s->Add(tabBar, 0, wxEXPAND | wxBOTTOM, 3);
+  s->Add(tabBar, 0, wxEXPAND | wxBOTTOM, 0);
   SetSizer(s);
   #if defined(__WXMSW__) && defined(TBSTYLE_EX_DOUBLEBUFFER)
     // Use double buffering