From 47a7c0506a6eeca148d0a64385194748b9f064bf Mon Sep 17 00:00:00 2001
From: Yann Leboulanger <asterix@lagaule.org>
Date: Sat, 5 Mar 2016 15:48:51 +0100
Subject: [PATCH] improve plugins window

---
 data/gui/plugins_window.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/data/gui/plugins_window.ui b/data/gui/plugins_window.ui
index cfaddd6b6..16342ab77 100644
--- a/data/gui/plugins_window.ui
+++ b/data/gui/plugins_window.ui
@@ -42,7 +42,7 @@
               <object class="GtkPaned" id="hpaned1">
                 <property name="visible">True</property>
                 <property name="can_focus">True</property>
-                <property name="position_set">True</property>
+                <property name="position">250</property>
                 <child>
                   <object class="GtkBox" id="vbox6">
                     <property name="visible">True</property>