mirror of
https://gitlab.gnome.org/GNOME/gtk.git
synced 2024-12-30 15:31:34 +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
120 lines
4.3 KiB
XML
120 lines
4.3 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<interface>
|
|
<object class="GtkWindow" id="window1">
|
|
<property name="height_request">500</property>
|
|
<property name="width_request">500</property>
|
|
<property name="decorated">0</property>
|
|
<child>
|
|
<object class="GtkBox" id="box1">
|
|
<property name="orientation">vertical</property>
|
|
<child>
|
|
<object class="GtkPaned" id="paned1">
|
|
<property name="shrink-start-child">0</property>
|
|
<property name="resize-start-child">0</property>
|
|
<property name="position_set">1</property>
|
|
<child>
|
|
<object class="GtkCheckButton" id="checkbutton1">
|
|
<child>
|
|
<object class="GtkLabel" id="label1">
|
|
<property name="label" translatable="yes">Hello World</property>
|
|
<property name="wrap">1</property>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
<child>
|
|
<object class="GtkBox" id="box2">
|
|
<property name="orientation">vertical</property>
|
|
<child>
|
|
<placeholder/>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
<child>
|
|
<object class="GtkPaned" id="paned2">
|
|
<property name="shrink-start-child">0</property>
|
|
<property name="resize-start-child">0</property>
|
|
<property name="position_set">1</property>
|
|
<child>
|
|
<object class="GtkRadioButton" id="radiobutton1">
|
|
<property name="active">1</property>
|
|
<child>
|
|
<object class="GtkLabel" id="label2">
|
|
<property name="label" translatable="yes">Hello World</property>
|
|
<property name="wrap">1</property>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
<child>
|
|
<object class="GtkBox" id="box3">
|
|
<property name="orientation">vertical</property>
|
|
<child>
|
|
<placeholder/>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
<child>
|
|
<object class="GtkPaned" id="paned3">
|
|
<property name="shrink-start-child">0</property>
|
|
<property name="resize-start-child">0</property>
|
|
<property name="position_set">1</property>
|
|
<child>
|
|
<object class="GtkToggleButton" id="togglebutton1">
|
|
<property name="receives_default">1</property>
|
|
<child>
|
|
<object class="GtkLabel" id="label3">
|
|
<property name="label" translatable="yes">Hello World</property>
|
|
<property name="wrap">1</property>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
<child>
|
|
<object class="GtkBox" id="box4">
|
|
<property name="orientation">vertical</property>
|
|
<child>
|
|
<placeholder/>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
<child>
|
|
<object class="GtkPaned" id="paned4">
|
|
<property name="shrink-start-child">0</property>
|
|
<property name="resize-start-child">0</property>
|
|
<property name="position_set">1</property>
|
|
<child>
|
|
<object class="GtkButton" id="button1">
|
|
<property name="receives_default">1</property>
|
|
<child>
|
|
<object class="GtkLabel" id="label4">
|
|
<property name="label" translatable="yes">Hello World</property>
|
|
<property name="wrap">1</property>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
<child>
|
|
<object class="GtkBox" id="box5">
|
|
<property name="orientation">vertical</property>
|
|
<child>
|
|
<placeholder/>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
<child>
|
|
<placeholder/>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
</interface>
|