From 4912641219122aa2df3ae459b557e783c5b0920e Mon Sep 17 00:00:00 2001
From: Andrzej <ndrwrdck@gmail.com>
Date: Sat, 29 Oct 2016 00:34:16 +0100
Subject: [PATCH] Removed has_separator property from the .glade file

---
 plugins/pager/pager-dialog.glade | 1 -
 1 file changed, 1 deletion(-)

diff --git a/plugins/pager/pager-dialog.glade b/plugins/pager/pager-dialog.glade
index cd5cdf322..dd0a35a81 100644
--- a/plugins/pager/pager-dialog.glade
+++ b/plugins/pager/pager-dialog.glade
@@ -6,7 +6,6 @@
     <property name="title" translatable="yes">Workspace Switcher</property>
     <property name="icon_name">gtk-properties</property>
     <property name="type_hint">normal</property>
-    <property name="has_separator">False</property>
     <child internal-child="vbox">
       <object class="GtkBox" id="dialog-vbox2">
         <property name="visible">True</property>
-- 
GitLab