2019-04-12 03:42:31 +00:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
2016-10-07 13:13:59 +00:00
|
|
|
<interface domain="gtk40">
|
2014-05-10 03:15:34 +00:00
|
|
|
<template class="GtkInspectorPropList" parent="GtkBox">
|
|
|
|
<property name="orientation">vertical</property>
|
2014-05-05 01:08:36 +00:00
|
|
|
<child>
|
2019-04-12 03:42:31 +00:00
|
|
|
<object class="GtkBox">
|
|
|
|
<property name="orientation">vertical</property>
|
|
|
|
<style>
|
|
|
|
<class name="view"/>
|
|
|
|
</style>
|
2014-05-05 01:08:36 +00:00
|
|
|
<child>
|
2019-04-12 03:42:31 +00:00
|
|
|
<object class="GtkBox">
|
|
|
|
<style>
|
|
|
|
<class name="header"/>
|
|
|
|
</style>
|
2014-05-10 03:15:34 +00:00
|
|
|
<child>
|
2019-04-28 21:56:10 +00:00
|
|
|
<object class="GtkBox" id="name_heading">
|
2019-05-07 22:04:41 +00:00
|
|
|
<property name="hexpand">0</property>
|
2019-04-28 21:56:10 +00:00
|
|
|
<child>
|
2019-05-29 17:10:46 +00:00
|
|
|
<object class="GtkGestureClick">
|
2019-04-28 21:56:10 +00:00
|
|
|
<signal name="pressed" handler="sort_changed" swapped="no"/>
|
|
|
|
|
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
<child>
|
|
|
|
<object class="GtkLabel">
|
|
|
|
<property name="label">Name</property>
|
|
|
|
<property name="xalign">0</property>
|
|
|
|
<property name="hexpand">1</property>
|
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
<child>
|
|
|
|
<object class="GtkImage" id="name_sort_indicator">
|
2019-05-07 22:04:41 +00:00
|
|
|
<style>
|
|
|
|
<class name="sort_indicator"/>
|
|
|
|
</style>
|
2019-04-28 21:56:10 +00:00
|
|
|
</object>
|
|
|
|
</child>
|
2014-05-10 03:15:34 +00:00
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
<child>
|
2019-04-12 03:42:31 +00:00
|
|
|
<object class="GtkLabel" id="type_heading">
|
|
|
|
<property name="label">Type</property>
|
|
|
|
<property name="xalign">0</property>
|
2016-03-10 01:55:46 +00:00
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
<child>
|
2019-04-28 21:56:10 +00:00
|
|
|
<object class="GtkBox" id="origin_heading">
|
2019-05-07 22:04:41 +00:00
|
|
|
<property name="hexpand">0</property>
|
2019-04-28 21:56:10 +00:00
|
|
|
<child>
|
2019-05-29 17:10:46 +00:00
|
|
|
<object class="GtkGestureClick">
|
2019-04-28 21:56:10 +00:00
|
|
|
<signal name="pressed" handler="sort_changed" swapped="no"/>
|
|
|
|
|
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
<child>
|
|
|
|
<object class="GtkLabel">
|
|
|
|
<property name="label">Defined at</property>
|
|
|
|
<property name="xalign">0</property>
|
|
|
|
<property name="hexpand">1</property>
|
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
<child>
|
|
|
|
<object class="GtkImage" id="origin_sort_indicator">
|
2019-05-07 22:04:41 +00:00
|
|
|
<style>
|
|
|
|
<class name="sort_indicator"/>
|
|
|
|
</style>
|
2019-04-28 21:56:10 +00:00
|
|
|
</object>
|
|
|
|
</child>
|
2014-05-10 03:15:34 +00:00
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
<child>
|
2019-04-12 03:42:31 +00:00
|
|
|
<object class="GtkLabel" id="value_heading">
|
|
|
|
<property name="label">Value</property>
|
|
|
|
<property name="xalign">0</property>
|
2019-05-07 22:04:41 +00:00
|
|
|
<property name="hexpand">0</property>
|
2014-05-10 03:15:34 +00:00
|
|
|
</object>
|
|
|
|
</child>
|
2019-04-12 03:42:31 +00:00
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
<child>
|
|
|
|
<object class="GtkScrolledWindow">
|
|
|
|
<property name="expand">1</property>
|
|
|
|
<property name="hscrollbar-policy">never</property>
|
2014-05-10 03:15:34 +00:00
|
|
|
<child>
|
2019-04-12 03:42:31 +00:00
|
|
|
<object class="GtkListBox" id="list2">
|
2019-05-07 22:04:41 +00:00
|
|
|
<style>
|
|
|
|
<class name="list"/>
|
|
|
|
</style>
|
2019-04-12 03:42:31 +00:00
|
|
|
<property name="selection-mode">none</property>
|
2014-05-10 03:15:34 +00:00
|
|
|
</object>
|
|
|
|
</child>
|
2014-05-05 01:08:36 +00:00
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
</template>
|
2019-04-12 03:42:31 +00:00
|
|
|
<object class="GtkSizeGroup" id="names">
|
2019-05-07 22:04:41 +00:00
|
|
|
<property name="mode">horizontal</property>
|
2019-04-12 03:42:31 +00:00
|
|
|
<widgets>
|
|
|
|
<widget name="name_heading"/>
|
|
|
|
</widgets>
|
|
|
|
</object>
|
|
|
|
<object class="GtkSizeGroup" id="types">
|
2019-05-07 22:04:41 +00:00
|
|
|
<property name="mode">horizontal</property>
|
2019-04-12 03:42:31 +00:00
|
|
|
<widgets>
|
|
|
|
<widget name="type_heading"/>
|
|
|
|
</widgets>
|
|
|
|
</object>
|
|
|
|
<object class="GtkSizeGroup" id="origins">
|
2019-05-07 22:04:41 +00:00
|
|
|
<property name="mode">horizontal</property>
|
2019-04-12 03:42:31 +00:00
|
|
|
<widgets>
|
|
|
|
<widget name="origin_heading"/>
|
|
|
|
</widgets>
|
|
|
|
</object>
|
|
|
|
<object class="GtkSizeGroup" id="values">
|
2019-05-07 22:04:41 +00:00
|
|
|
<property name="mode">horizontal</property>
|
2019-04-12 03:42:31 +00:00
|
|
|
<widgets>
|
|
|
|
<widget name="value_heading"/>
|
|
|
|
</widgets>
|
|
|
|
</object>
|
2014-05-05 01:08:36 +00:00
|
|
|
</interface>
|