inspector: Some ui refinements

Remove pointless expanders from lists, add grid lines and, in some places, tree lines.
2016-03-05 00:29:06 -05:00
parent fa36f34fcf
commit 360bad6865
7 changed files with 10 additions and 0 deletions
--- a/gtk/inspector/prop-list.ui
+++ b/gtk/inspector/prop-list.ui
@ -83,6 +83,7 @@
            <property name="tooltip-column">3</property>
            <property name="search-column">0</property>
            <property name="enable-search">True</property>
+            <property name="enable-grid-lines">vertical</property>
            <signal name="row-activated" handler="row_activated"/>
            <child>
              <object class="GtkTreeViewColumn">