141 lines
6.1 KiB
XML
141 lines
6.1 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!-- Generated with glade 3.18.3 -->
|
|
<interface>
|
|
<requires lib="gtk+" version="3.0"/>
|
|
<object class="GtkAdjustment" id="adjustment1">
|
|
<property name="lower">2</property>
|
|
<property name="upper">100</property>
|
|
<property name="value">2</property>
|
|
<property name="step_increment">1</property>
|
|
<property name="page_increment">10</property>
|
|
</object>
|
|
<object class="GtkDialog" id="configure_dialog">
|
|
<property name="can_focus">False</property>
|
|
<property name="title" translatable="yes">Word Completion</property>
|
|
<property name="resizable">False</property>
|
|
<property name="type_hint">normal</property>
|
|
<child internal-child="vbox">
|
|
<object class="GtkBox" id="dialog-vbox1">
|
|
<property name="can_focus">False</property>
|
|
<property name="margin_left">5</property>
|
|
<property name="margin_right">5</property>
|
|
<property name="margin_top">2</property>
|
|
<property name="margin_bottom">5</property>
|
|
<property name="orientation">vertical</property>
|
|
<child internal-child="action_area">
|
|
<object class="GtkButtonBox" id="dialog-action_area1">
|
|
<property name="can_focus">False</property>
|
|
<property name="layout_style">end</property>
|
|
<child>
|
|
<object class="GtkButton" id="button1">
|
|
<property name="label">gtk-ok</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="receives_default">True</property>
|
|
<property name="use_stock">True</property>
|
|
<property name="yalign">0.52999997138977051</property>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">True</property>
|
|
<property name="fill">True</property>
|
|
<property name="position">0</property>
|
|
</packing>
|
|
</child>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">0</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkBox" id="box1">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="margin_top">5</property>
|
|
<property name="margin_bottom">10</property>
|
|
<property name="orientation">vertical</property>
|
|
<property name="spacing">9</property>
|
|
<child>
|
|
<object class="GtkLabel" id="label2">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="ypad">6</property>
|
|
<property name="label" translatable="yes">Use Ctrl+Space to manually trigger word completion.</property>
|
|
<attributes>
|
|
<attribute name="style" value="italic"/>
|
|
</attributes>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
<property name="position">0</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkCheckButton" id="check_button_interactive_completion">
|
|
<property name="label" translatable="yes">Automatic completion</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="receives_default">False</property>
|
|
<property name="xalign">0.10000000149011612</property>
|
|
<property name="yalign">0.44999998807907104</property>
|
|
<property name="draw_indicator">True</property>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkBox" id="box2">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="spacing">5</property>
|
|
<child>
|
|
<object class="GtkLabel" id="label1">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="label" translatable="yes">Minimum word size for auto-completion</property>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">True</property>
|
|
<property name="fill">True</property>
|
|
<property name="position">0</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkSpinButton" id="spin_button_min_word_size">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="adjustment">adjustment1</property>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
<property name="position">2</property>
|
|
</packing>
|
|
</child>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
<action-widgets>
|
|
<action-widget response="0">button1</action-widget>
|
|
</action-widgets>
|
|
</object>
|
|
</interface>
|