dino/main/data/occupant_list.ui
2022-07-27 20:34:20 +02:00

29 lines
1.2 KiB
XML

<?xml version="1.0" encoding="UTF-8"?>
<interface>
<requires lib="gtk+" version="3.22"/>
<template class="DinoUiOccupantMenuList">
<child>
<object class="GtkBox">
<property name="orientation">vertical</property>
<child>
<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>
</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>