2018-07-09 22:31:39 +00:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<interface>
|
2022-02-14 13:55:59 +00:00
|
|
|
<requires lib="gtk" version="4.0"/>
|
|
|
|
<object class="GtkOverlay" id="overlay">
|
|
|
|
<property name="child">
|
2018-08-01 13:20:56 +00:00
|
|
|
<object class="GtkBox">
|
|
|
|
<property name="orientation">vertical</property>
|
2018-07-09 22:31:39 +00:00
|
|
|
<child>
|
2018-08-01 13:20:56 +00:00
|
|
|
<object class="GtkSearchEntry" id="search_entry">
|
2022-02-14 13:55:59 +00:00
|
|
|
<property name="margin-start">12</property>
|
|
|
|
<property name="margin-end">12</property>
|
|
|
|
<property name="margin-top">12</property>
|
|
|
|
<property name="margin-bottom">12</property>
|
2018-07-25 18:41:51 +00:00
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
<child>
|
2018-08-01 13:20:56 +00:00
|
|
|
<object class="GtkStack" id="results_empty_stack">
|
2018-07-25 18:41:51 +00:00
|
|
|
<child>
|
2022-02-14 13:55:59 +00:00
|
|
|
<object class="GtkStackPage">
|
|
|
|
<property name="name">empty</property>
|
|
|
|
<property name="child">
|
|
|
|
<object class="GtkBox">
|
|
|
|
<property name="orientation">vertical</property>
|
|
|
|
<property name="spacing">10</property>
|
|
|
|
<property name="valign">center</property>
|
|
|
|
<child>
|
|
|
|
<object class="GtkImage">
|
|
|
|
<property name="icon-name">system-search-symbolic</property>
|
|
|
|
<property name="icon-size">large</property>
|
|
|
|
<property name="pixel-size">72</property>
|
|
|
|
<style>
|
|
|
|
<class name="dim-label"/>
|
|
|
|
</style>
|
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
<child>
|
|
|
|
<object class="GtkLabel">
|
|
|
|
<property name="label" translatable="1">No active search</property>
|
|
|
|
<attributes>
|
|
|
|
<attribute name="weight" value="PANGO_WEIGHT_BOLD"></attribute>
|
|
|
|
<attribute name="scale" value="1.3"></attribute>
|
|
|
|
</attributes>
|
|
|
|
<style>
|
|
|
|
<class name="dim-label"/>
|
|
|
|
</style>
|
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
<child>
|
|
|
|
<object class="GtkLabel">
|
|
|
|
<property name="label" translatable="1">Type to start a search</property>
|
|
|
|
<style>
|
|
|
|
<class name="dim-label"/>
|
|
|
|
</style>
|
|
|
|
</object>
|
|
|
|
</child>
|
2018-08-01 13:20:56 +00:00
|
|
|
</object>
|
2022-02-14 13:55:59 +00:00
|
|
|
</property>
|
2018-07-25 18:41:51 +00:00
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
<child>
|
2022-02-14 13:55:59 +00:00
|
|
|
<object class="GtkStackPage">
|
|
|
|
<property name="name">no-result</property>
|
|
|
|
<property name="child">
|
|
|
|
<object class="GtkBox">
|
|
|
|
<property name="orientation">vertical</property>
|
|
|
|
<property name="spacing">10</property>
|
|
|
|
<property name="valign">center</property>
|
|
|
|
<child>
|
|
|
|
<object class="GtkImage">
|
|
|
|
<property name="icon-name">face-uncertain-symbolic</property>
|
|
|
|
<property name="icon-size">large</property>
|
|
|
|
<property name="pixel-size">72</property>
|
|
|
|
<style>
|
|
|
|
<class name="dim-label"/>
|
|
|
|
</style>
|
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
<child>
|
|
|
|
<object class="GtkLabel">
|
|
|
|
<property name="label" translatable="1">No matching messages</property>
|
|
|
|
<attributes>
|
|
|
|
<attribute name="weight" value="PANGO_WEIGHT_BOLD"></attribute>
|
|
|
|
<attribute name="scale" value="1.3"></attribute>
|
|
|
|
</attributes>
|
|
|
|
<style>
|
|
|
|
<class name="dim-label"/>
|
|
|
|
</style>
|
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
<child>
|
|
|
|
<object class="GtkLabel">
|
|
|
|
<property name="label" translatable="1">Check the spelling or try to remove filters</property>
|
|
|
|
<style>
|
|
|
|
<class name="dim-label"/>
|
|
|
|
</style>
|
|
|
|
</object>
|
|
|
|
</child>
|
2018-08-01 13:20:56 +00:00
|
|
|
</object>
|
2022-02-14 13:55:59 +00:00
|
|
|
</property>
|
2018-07-25 18:41:51 +00:00
|
|
|
</object>
|
|
|
|
</child>
|
|
|
|
<child>
|
2022-02-14 13:55:59 +00:00
|
|
|
<object class="GtkStackPage">
|
|
|
|
<property name="name">results</property>
|
|
|
|
<property name="child">
|
|
|
|
<object class="GtkBox">
|
|
|
|
<property name="orientation">vertical</property>
|
|
|
|
<child>
|
|
|
|
<object class="GtkLabel" id="entry_number_label">
|
|
|
|
<property name="xalign">0</property>
|
|
|
|
<property name="use-markup">1</property>
|
|
|
|
<property name="margin-start">17</property>
|
|
|
|
</object>
|
|
|
|
</child>
|
2018-08-01 13:20:56 +00:00
|
|
|
<child>
|
2022-02-14 13:55:59 +00:00
|
|
|
<object class="GtkScrolledWindow" id="results_scrolled">
|
|
|
|
<property name="hscrollbar-policy">never</property>
|
|
|
|
<property name="hexpand">1</property>
|
|
|
|
<property name="vexpand">1</property>
|
|
|
|
<property name="child">
|
|
|
|
<object class="GtkBox" id="results_box">
|
|
|
|
<property name="orientation">vertical</property>
|
|
|
|
<property name="spacing">25</property>
|
|
|
|
<property name="margin-start">10</property>
|
|
|
|
<property name="margin-end">10</property>
|
|
|
|
<property name="margin-top">10</property>
|
|
|
|
<property name="margin-bottom">10</property>
|
|
|
|
<property name="valign">start</property>
|
|
|
|
</object>
|
|
|
|
</property>
|
2018-08-01 13:20:56 +00:00
|
|
|
</object>
|
|
|
|
</child>
|
2018-07-25 18:41:51 +00:00
|
|
|
</object>
|
2022-02-14 13:55:59 +00:00
|
|
|
</property>
|
2018-07-25 18:41:51 +00:00
|
|
|
</object>
|
|
|
|
</child>
|
2018-07-09 22:31:39 +00:00
|
|
|
</object>
|
2018-08-01 13:20:56 +00:00
|
|
|
</child>
|
|
|
|
</object>
|
2022-02-14 13:55:59 +00:00
|
|
|
</property>
|
2018-08-01 13:20:56 +00:00
|
|
|
<child type="overlay">
|
|
|
|
<object class="GtkFrame" id="auto_complete_overlay">
|
|
|
|
<property name="margin-top">42</property>
|
2022-02-14 13:55:59 +00:00
|
|
|
<property name="margin-start">12</property>
|
|
|
|
<property name="margin-end">12</property>
|
2018-08-01 13:20:56 +00:00
|
|
|
<property name="valign">start</property>
|
|
|
|
<style>
|
|
|
|
<class name="auto-complete"/>
|
|
|
|
</style>
|
2022-02-14 13:55:59 +00:00
|
|
|
<property name="child">
|
2018-08-01 13:20:56 +00:00
|
|
|
<object class="GtkListBox" id="auto_complete_list">
|
|
|
|
<property name="selection-mode">browse</property>
|
|
|
|
</object>
|
2022-02-14 13:55:59 +00:00
|
|
|
</property>
|
2018-07-09 22:31:39 +00:00
|
|
|
</object>
|
|
|
|
</child>
|
2022-02-14 13:55:59 +00:00
|
|
|
</object>
|
2018-07-09 22:31:39 +00:00
|
|
|
</interface>
|