2014-05-04 23:53:04 +00:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
2016-10-07 13:13:59 +00:00
|
|
|
<interface domain="gtk40">
|
2014-10-11 01:40:53 +00:00
|
|
|
<template class="GtkInspectorObjectTree" parent="GtkBox">
|
2014-10-11 00:51:54 +00:00
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="orientation">vertical</property>
|
2014-10-31 18:16:39 +00:00
|
|
|
<signal name="hierarchy-changed" handler="on_hierarchy_changed"/>
|
|
|
|
<child>
|
|
|
|
<object class="GtkSearchBar" id="search_bar">
|
2018-01-18 22:46:58 +00:00
|
|
|
<property name="show-close-button">1</property>
|
2014-10-31 18:16:39 +00:00
|
|
|
<child>
|
|
|
|
<object class="GtkBox">
|
|
|
|
<style>
|
|
|
|
<class name="linked"/>
|
|
|
|
</style>
|
|
|
|
<child>
|
|
|
|
<object class="GtkSearchEntry" id="search_entry">
|
|
|
|
<property name="max-width-chars">40</property>
|
|
|
|
<signal name="search-changed" handler="on_search_changed"/>
|
2014-11-25 03:44:44 +00:00
|
|
|
<signal name="next-match" handler="next_match"/>
|
|
|
|
<signal name="previous-match" handler="previous_match"/>
|
|
|
|
<signal name="stop-search" handler="stop_search"/>
|
2014-10-31 18:16:39 +00:00
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
<child>
|
|
|
|
<object class="GtkButton">
|
2017-01-13 20:08:59 +00:00
|
|
|
<property name="icon-name">go-down-symbolic</property>
|
2014-10-31 18:16:39 +00:00
|
|
|
<signal name="clicked" handler="next_match"/>
|
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
<child>
|
|
|
|
<object class="GtkButton">
|
2017-01-13 20:08:59 +00:00
|
|
|
<property name="icon-name">go-up-symbolic</property>
|
2014-10-31 18:16:39 +00:00
|
|
|
<signal name="clicked" handler="previous_match"/>
|
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
</object>
|
|
|
|
</child>
|
2014-05-04 23:53:04 +00:00
|
|
|
<child>
|
2014-10-11 00:51:54 +00:00
|
|
|
<object class="GtkScrolledWindow">
|
2014-10-11 04:23:21 +00:00
|
|
|
<property name="hscrollbar-policy">never</property>
|
2018-01-18 22:46:58 +00:00
|
|
|
<property name="expand">1</property>
|
2014-05-04 23:53:04 +00:00
|
|
|
<child>
|
2018-08-29 14:19:37 +00:00
|
|
|
<object class="GtkListBox" id="list">
|
2014-10-11 02:34:32 +00:00
|
|
|
<signal name="row-activated" handler="on_row_activated"/>
|
2014-05-04 23:53:04 +00:00
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
</template>
|
2018-08-29 14:19:37 +00:00
|
|
|
<object class="GtkSizeGroup" id="type_size_group">
|
|
|
|
<property name="mode">both</property>
|
|
|
|
</object>
|
|
|
|
<object class="GtkSizeGroup" id="name_size_group">
|
|
|
|
<property name="mode">both</property>
|
|
|
|
</object>
|
|
|
|
<object class="GtkSizeGroup" id="label_size_group">
|
|
|
|
<property name="mode">both</property>
|
|
|
|
</object>
|
2014-05-04 23:53:04 +00:00
|
|
|
</interface>
|