mirror of
https://gitlab.gnome.org/GNOME/gtk.git
synced 2024-12-27 06:00:22 +00:00
bc6643f3c2
This commit is porting GtkPaned to be derived from GtkWidget instead of GtkContainer, while adding start-child and end-child properties. The existing properties are renamed to follow the start/end naming scheme, and we add proper getters and setters. Update all users. See #2719
25 lines
811 B
XML
25 lines
811 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<interface>
|
|
<object class="GtkWindow" id="window1">
|
|
<property name="decorated">0</property>
|
|
<property name="height_request">120</property>
|
|
<child>
|
|
<object class="GtkPaned" id="paned1">
|
|
<property name="shrink-start-child">0</property>
|
|
<property name="resize-start-child">0</property>
|
|
<property name="orientation">vertical</property>
|
|
<property name="position">10</property>
|
|
<child>
|
|
<object class="GtkBox" id="box1">
|
|
<property name="width_request">50</property>
|
|
<property name="height_request">10</property>
|
|
</object>
|
|
</child>
|
|
<child>
|
|
<object class="GtkLabel" id="label1"/>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
</interface>
|