276 lines
13 KiB
XML
276 lines
13 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 Wed Jan 9 22:25:45 2008
|
|
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="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">1</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">Do not use tabs for indentation</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">2</property>
|
|
</packing>
|
|
</child>
|
|
<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">indent_width</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkSpinButton" id="indent_width">
|
|
<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>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="position">3</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkHBox" id="hbox2">
|
|
<property name="spacing">3</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Visual tab width:</property>
|
|
<property name="mnemonic_widget">tab_width</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkSpinButton" id="tab_width">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="moo_prefs_key">tab_width</property>
|
|
<property name="adjustment">8 1 100 1 10 10</property>
|
|
<property name="numeric">True</property>
|
|
<property name="update_policy">GTK_UPDATE_IF_VALID</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="position">4</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="tab_indents">
|
|
<property name="visible">True</property>
|
|
<property name="moo_prefs_key">tab_indents</property>
|
|
<property name="response_id">0</property>
|
|
<property name="draw_indicator">True</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label8">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Tab key indents</property>
|
|
</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 unindents</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>
|