2017-03-02 14:37:32 +00:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
|
<interface>
|
2017-03-15 21:01:32 +00:00
|
|
|
<requires lib="gtk+" version="3.22"/>
|
2017-04-03 17:20:31 +00:00
|
|
|
<template class="DinoUiOccupantMenuList">
|
2017-03-02 14:37:32 +00:00
|
|
|
<child>
|
|
|
|
|
<object class="GtkBox">
|
|
|
|
|
<property name="orientation">vertical</property>
|
|
|
|
|
<child>
|
2022-02-14 13:55:59 +00:00
|
|
|
<object class="GtkSearchEntry" id="search_entry">
|
|
|
|
|
<property name="margin_top">8</property>
|
|
|
|
|
<property name="margin_bottom">8</property>
|
|
|
|
|
<property name="margin_start">8</property>
|
|
|
|
|
<property name="margin_end">8</property>
|
2017-03-02 14:37:32 +00:00
|
|
|
</object>
|
|
|
|
|
</child>
|
|
|
|
|
<child>
|
|
|
|
|
<object class="GtkScrolledWindow">
|
|
|
|
|
<property name="max_content_height">500</property>
|
|
|
|
|
<property name="propagate_natural_height">True</property>
|
|
|
|
|
<child>
|
|
|
|
|
<object class="GtkListBox" id="list_box">
|
|
|
|
|
</object>
|
|
|
|
|
</child>
|
|
|
|
|
</object>
|
|
|
|
|
</child>
|
|
|
|
|
</object>
|
|
|
|
|
</child>
|
|
|
|
|
</template>
|
|
|
|
|
</interface>
|
