From a4eea75612acbbfd6b8aed6b48090ca2c76ee657 Mon Sep 17 00:00:00 2001
From: Patrick Storz <eduard.braun2@gmx.de>
Date: Sat, 10 Aug 2019 21:25:41 +0200
Subject: Add new widget "spacer" which adds an empty space between widgets

The attribute "size" allows to define the spacing in px.

The special value "expand" can be used to make the spacer consume
all available space in the parent.
---
 src/extension/prefdialog/widget-separator.cpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/extension/prefdialog/widget-separator.cpp')

diff --git a/src/extension/prefdialog/widget-separator.cpp b/src/extension/prefdialog/widget-separator.cpp
index 94778e027..d78894b62 100644
--- a/src/extension/prefdialog/widget-separator.cpp
+++ b/src/extension/prefdialog/widget-separator.cpp
@@ -35,6 +35,7 @@ Gtk::Widget *WidgetSeparator::get_widget(sigc::signal<void> *changeSignal)
 
     Gtk::Separator *separator = Gtk::manage(new Gtk::Separator());
     separator->show();
+
     return dynamic_cast<Gtk::Widget *>(separator);
 }
 
-- 
cgit v1.2.3