diff options
| author | fiaxh <git@lightrise.org> | 2022-02-14 14:55:59 +0100 |
|---|---|---|
| committer | fiaxh <git@lightrise.org> | 2022-07-27 20:34:20 +0200 |
| commit | 7e7dcedaf31ee35499875491c9f569c575d28435 (patch) | |
| tree | 0c5fee2b28baf320775fbc92b3c252e97d9d054f /main/data/occupant_list.ui | |
| parent | f25bfb00969a7e09996da2d5500e6718f4cc0148 (diff) | |
| download | dino-7e7dcedaf31ee35499875491c9f569c575d28435.tar.gz dino-7e7dcedaf31ee35499875491c9f569c575d28435.zip | |
Port from GTK3 to GTK4
Diffstat (limited to 'main/data/occupant_list.ui')
| -rw-r--r-- | main/data/occupant_list.ui | 17 |
1 files changed, 5 insertions, 12 deletions
diff --git a/main/data/occupant_list.ui b/main/data/occupant_list.ui index d899eb5f..6cbf5910 100644 --- a/main/data/occupant_list.ui +++ b/main/data/occupant_list.ui @@ -2,30 +2,23 @@ <interface> <requires lib="gtk+" version="3.22"/> <template class="DinoUiOccupantMenuList"> - <property name="visible">True</property> <child> <object class="GtkBox"> <property name="orientation">vertical</property> - <property name="visible">True</property> <child> - <object class="GtkToolItem"> - <property name="visible">True</property> - <child> - <object class="GtkSearchEntry" id="search_entry"> - <property name="margin">8</property> - <property name="visible">True</property> - </object> - </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> - <property name="visible">True</property> <child> <object class="GtkListBox" id="list_box"> - <property name="visible">True</property> </object> </child> </object> |