1 <?xml version=
"1.0" encoding=
"UTF-8"?>
2 <!-- Generated with glade 3.16.1 -->
3 <interface domain=
"svx">
4 <requires lib=
"gtk+" version=
"3.18"/>
5 <object class=
"GtkWindow" id=
"FloatingUndoRedo:border">
6 <property name=
"can_focus">False
</property>
7 <property name=
"hexpand">True
</property>
8 <property name=
"vexpand">True
</property>
9 <property name=
"border_width">6</property>
10 <property name=
"resizable">False
</property>
11 <property name=
"destroy_with_parent">True
</property>
12 <property name=
"type_hint">popup-menu
</property>
13 <property name=
"skip_pager_hint">True
</property>
14 <property name=
"deletable">False
</property>
16 <object class=
"GtkBox" id=
"box">
17 <property name=
"visible">True
</property>
18 <property name=
"can_focus">False
</property>
19 <property name=
"hexpand">True
</property>
20 <property name=
"vexpand">True
</property>
21 <property name=
"orientation">vertical
</property>
23 <object class=
"GtkTreeView" id=
"treeview">
24 <property name=
"visible">True
</property>
25 <property name=
"can_focus">True
</property>
26 <property name=
"hexpand">True
</property>
27 <property name=
"vexpand">True
</property>
28 <property name=
"show_expanders">False
</property>
29 <child internal-child=
"selection">
30 <object class=
"GtkTreeSelection" id=
"treeview-selection1"/>
34 <property name=
"expand">False
</property>
35 <property name=
"fill">True
</property>
36 <property name=
"position">0</property>