Main UI frontend: Use wide paned handles.

Its almost impossible to resize these things without any width to grab.
This commit is contained in:
Tristan Van Berkom 2015-12-20 17:44:01 +09:00
parent 52673d3ded
commit 942d34cb22

View File

@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8"?>
<!-- Generated with glade 3.18.1
<!-- Generated with glade 3.19.0
Glade - A user interface designer for GTK+ and GNOME.
Copyright (C) 2012-2014 Juan Pablo Ugarte
@ -1115,12 +1115,14 @@ Andreas Nilsson &lt;andreas@andreasn.se&gt;</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="border_width">2</property>
<property name="wide_handle">True</property>
<child>
<object class="GtkPaned" id="left_paned">
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="position">150</property>
<property name="position_set">True</property>
<property name="wide_handle">True</property>
<child>
<object class="GtkNotebook" id="palettes_notebook">
<property name="visible">True</property>
@ -1170,6 +1172,7 @@ Andreas Nilsson &lt;andreas@andreasn.se&gt;</property>
<property name="orientation">vertical</property>
<property name="position">150</property>
<property name="position_set">True</property>
<property name="wide_handle">True</property>
<child>
<object class="GtkNotebook" id="inspectors_notebook">
<property name="visible">True</property>