10
10
<widget class="GtkDialog" id="encodingdialog">
11
11
<property name="visible">True</property>
12
12
<property name="border_width">5</property>
14
14
<property name="modal">True</property>
15
15
<property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
16
16
<child internal-child="vbox">