306 lines
15 KiB
XML
306 lines
15 KiB
XML
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
|
<!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
|
|
<!--Generated with glade3 3.3.3 on Sat Sep 22 20:16:09 2007
|
|
Version: 3.0.0
|
|
Date: Fri Dec 8 17:47:39 2006
|
|
User: muntyan
|
|
Host: munt10
|
|
-->
|
|
<glade-interface>
|
|
<widget class="GtkWindow" id="window1">
|
|
<child>
|
|
<widget class="GtkVBox" id="page">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkFrame" id="frame15">
|
|
<property name="visible">True</property>
|
|
<property name="border_width">3</property>
|
|
<property name="label_xalign">0</property>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment25">
|
|
<property name="visible">True</property>
|
|
<property name="bottom_padding">3</property>
|
|
<property name="left_padding">3</property>
|
|
<property name="right_padding">3</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox9">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="smarthome">
|
|
<property name="visible">True</property>
|
|
<property name="moo_prefs_key">smart_home_end</property>
|
|
<property name="label" translatable="yes">Smart Home and End</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="focus_on_click">False</property>
|
|
<property name="response_id">0</property>
|
|
<property name="draw_indicator">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label1">
|
|
<property name="xalign">0</property>
|
|
<property name="label" comments="Tab key: Moves input focus, Indents Text, ...">Tab key:</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment1">
|
|
<property name="left_padding">6</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox1">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkRadioButton" id="tab_inserts_tab">
|
|
<property name="visible">True</property>
|
|
<property name="moo_prefs_key">tab_key_action</property>
|
|
<property name="moo_prefs_value">do-nothing</property>
|
|
<property name="response_id">0</property>
|
|
<property name="draw_indicator">True</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label156">
|
|
<property name="visible">True</property>
|
|
<property name="label">Moves input focus</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkRadioButton" id="tab_indents">
|
|
<property name="visible">True</property>
|
|
<property name="moo_prefs_key">tab_key_action</property>
|
|
<property name="moo_prefs_value">indent</property>
|
|
<property name="response_id">0</property>
|
|
<property name="draw_indicator">True</property>
|
|
<property name="group">tab_inserts_tab</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label2">
|
|
<property name="visible">True</property>
|
|
<property name="label">Indents text</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkRadioButton" id="tab_placeholder">
|
|
<property name="visible">True</property>
|
|
<property name="moo_prefs_key">tab_key_action</property>
|
|
<property name="moo_prefs_value">find-placeholder</property>
|
|
<property name="response_id">0</property>
|
|
<property name="draw_indicator">True</property>
|
|
<property name="group">tab_inserts_tab</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label3">
|
|
<property name="visible">True</property>
|
|
<property name="label">Moves cursor to next placeholder</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">2</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">2</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="enable_auto_indent">
|
|
<property name="visible">True</property>
|
|
<property name="moo_prefs_key">auto_indent</property>
|
|
<property name="response_id">0</property>
|
|
<property name="draw_indicator">True</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label4">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Enable auto indentation</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">3</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="usespaces">
|
|
<property name="visible">True</property>
|
|
<property name="moo_prefs_key">spaces_instead_of_tabs</property>
|
|
<property name="label" translatable="yes">Use spaces to indent</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="focus_on_click">False</property>
|
|
<property name="response_id">0</property>
|
|
<property name="draw_indicator">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">4</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment2">
|
|
<property name="visible">True</property>
|
|
<property name="left_padding">6</property>
|
|
<child>
|
|
<widget class="GtkHBox" id="hbox1">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">3</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label32">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Indent width, spaces:</property>
|
|
<property name="mnemonic_widget">tabswidth_spin</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkSpinButton" id="tabswidth_spin">
|
|
<property name="visible">True</property>
|
|
<property name="moo_prefs_key">indent_width</property>
|
|
<property name="adjustment">4 1 100 1 10 10</property>
|
|
<property name="climb_rate">1</property>
|
|
<property name="numeric">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">5</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="backspace_indents">
|
|
<property name="visible">True</property>
|
|
<property name="moo_prefs_key">backspace_indents</property>
|
|
<property name="response_id">0</property>
|
|
<property name="draw_indicator">True</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label5">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Backspace key indents</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">6</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label64">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Keyboard</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="type">label_item</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkFrame" id="frame271">
|
|
<property name="visible">True</property>
|
|
<property name="border_width">3</property>
|
|
<property name="label_xalign">0</property>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment391">
|
|
<property name="visible">True</property>
|
|
<property name="bottom_padding">3</property>
|
|
<property name="left_padding">3</property>
|
|
<property name="right_padding">3</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox221">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkHBox" id="hbox131">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">3</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label1021">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Default language:</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkComboBox" id="default_lang_combo">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<placeholder/>
|
|
</child>
|
|
<child>
|
|
<placeholder/>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label1011">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Misc</property>
|
|
<property name="use_markup">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="type">label_item</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<placeholder/>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</glade-interface>
|