1101 lines
61 KiB
XML
1101 lines
61 KiB
XML
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
|
<!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
|
|
<!-- Generated with glade3
|
|
Version: 2.91.3
|
|
Date: Wed Aug 9 19:27:30 2006
|
|
User: muntyan
|
|
Host: munt10
|
|
-->
|
|
<glade-interface>
|
|
<widget class="GtkWindow" id="window">
|
|
<property name="visible">True</property>
|
|
<property name="title">window1</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="page">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkNotebook" id="notebook">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox3">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkFrame" id="frame15">
|
|
<property name="visible">True</property>
|
|
<property name="label_xalign">0.000000</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="can_focus">True</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="draw_indicator">True</property>
|
|
<property name="moo_prefs_key">smart_home_end</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label1">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">0.000000</property>
|
|
<property name="label">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="visible">True</property>
|
|
<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="draw_indicator">True</property>
|
|
<property name="moo_prefs_key">tab_key_action</property>
|
|
<property name="moo_prefs_value">do-nothing</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label156">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Moves input focus</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkRadioButton" id="tab_indents">
|
|
<property name="visible">True</property>
|
|
<property name="draw_indicator">True</property>
|
|
<property name="group">tab_inserts_tab</property>
|
|
<property name="moo_prefs_key">tab_key_action</property>
|
|
<property name="moo_prefs_value">indent</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label2">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">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="draw_indicator">True</property>
|
|
<property name="group">tab_inserts_tab</property>
|
|
<property name="moo_prefs_key">tab_key_action</property>
|
|
<property name="moo_prefs_value">find-placeholder</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label3">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">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>
|
|
</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="frame38">
|
|
<property name="visible">True</property>
|
|
<property name="label_xalign">0.000000</property>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment251">
|
|
<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="vbox91">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="enable_auto_indent">
|
|
<property name="visible">True</property>
|
|
<property name="draw_indicator">True</property>
|
|
<property name="moo_prefs_key">auto_indent</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>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="usespaces">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</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="draw_indicator">True</property>
|
|
<property name="moo_prefs_key">spaces_instead_of_tabs</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="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:</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="can_focus">True</property>
|
|
<property name="adjustment">4.000000 1.000000 100.000000 1.000000 10.000000 10.000000</property>
|
|
<property name="climb_rate">1</property>
|
|
<property name="numeric">True</property>
|
|
<property name="moo_prefs_key">indent_width</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label96">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">spaces</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">2</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">2</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="backspace_indents">
|
|
<property name="visible">True</property>
|
|
<property name="draw_indicator">True</property>
|
|
<property name="moo_prefs_key">backspace_indents</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">3</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label641">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Indentation</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>
|
|
<widget class="GtkFrame" id="frame251">
|
|
<property name="visible">True</property>
|
|
<property name="label_xalign">0.000000</property>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment371">
|
|
<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="vbox191">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkHBox" id="hbox111">
|
|
<property name="sensitive">False</property>
|
|
<property name="spacing">3</property>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="auto_save">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Auto save every</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="focus_on_click">False</property>
|
|
<property name="draw_indicator">True</property>
|
|
<property name="moo_prefs_key">auto_save</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkSpinButton" id="auto_save_interval">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="adjustment">1.000000 1.000000 100.000000 1.000000 10.000000 10.000000</property>
|
|
<property name="climb_rate">1</property>
|
|
<property name="moo_prefs_key">auto_save_interval</property>
|
|
<property name="moo_sensitive">auto_save</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="auto_save_label">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">minutes</property>
|
|
<property name="moo_sensitive">auto_save</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">2</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="checkbutton11">
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Make backups</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="draw_indicator">True</property>
|
|
<property name="moo_prefs_key">make_backups</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="checkbutton21">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Remove trailing spaces</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="draw_indicator">True</property>
|
|
<property name="moo_prefs_key">strip</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">2</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label951">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Saving</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">2</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkFrame" id="frame271">
|
|
<property name="visible">True</property>
|
|
<property name="label_xalign">0.000000</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>
|
|
<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">3</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="tab_expand">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label211">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">General</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="type">tab</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox121">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkFrame" id="frame181">
|
|
<property name="visible">True</property>
|
|
<property name="border_width">3</property>
|
|
<property name="label_xalign">0.000000</property>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment281">
|
|
<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="vbox131">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="enable_wrapping">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Enable text wrapping</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="draw_indicator">True</property>
|
|
<property name="moo_prefs_key">wrapping_enable</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="dont_split_words">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Do not split words</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="draw_indicator">True</property>
|
|
<property name="moo_prefs_key">wrapping_dont_split_words</property>
|
|
<property name="moo_sensitive">enable_wrapping</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label701">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Text wrapping</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="frame26">
|
|
<property name="visible">True</property>
|
|
<property name="border_width">3</property>
|
|
<property name="label_xalign">0.000000</property>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment38">
|
|
<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="vbox20">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="checkbutton5">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Enable syntax highlighting</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="draw_indicator">True</property>
|
|
<property name="moo_prefs_key">enable_highlighting</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="checkbutton6">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Highlight matching brackets</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="draw_indicator">True</property>
|
|
<property name="moo_prefs_key">highlight_matching_brackets</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="checkbutton7">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Highlight mismatching brackets</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="draw_indicator">True</property>
|
|
<property name="moo_prefs_key">highlight_mismatching_brackets</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">2</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="checkbutton9">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Highlight current line</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="draw_indicator">True</property>
|
|
<property name="moo_prefs_key">highlight_current_line</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">3</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label98">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Highlighting</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>
|
|
<widget class="GtkFrame" id="frame19">
|
|
<property name="visible">True</property>
|
|
<property name="border_width">3</property>
|
|
<property name="label_xalign">0.000000</property>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment29">
|
|
<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="vbox14">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="show_line_numbers">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Show line numbers</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="draw_indicator">True</property>
|
|
<property name="moo_prefs_key">show_line_numbers</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="checkbutton3">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Show tabs</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="draw_indicator">True</property>
|
|
<property name="moo_prefs_key">show_tabs</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="checkbutton4">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Show trailing spaces</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="draw_indicator">True</property>
|
|
<property name="moo_prefs_key">show_trailing_spaces</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">2</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label73">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Misc</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">2</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">1</property>
|
|
<property name="tab_expand">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label62">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">View</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="type">tab</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox21">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="use_default_font">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Use default theme font</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="draw_indicator">True</property>
|
|
<property name="moo_prefs_key">use_default_font</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkTable" id="table1">
|
|
<property name="visible">True</property>
|
|
<property name="n_rows">2</property>
|
|
<property name="n_columns">2</property>
|
|
<child>
|
|
<widget class="GtkComboBox" id="color_scheme_combo">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">2</property>
|
|
<property name="top_attach">1</property>
|
|
<property name="bottom_attach">2</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label100">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">0.000000</property>
|
|
<property name="label" translatable="yes">Color scheme:</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="top_attach">1</property>
|
|
<property name="bottom_attach">2</property>
|
|
<property name="x_options"></property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkFontButton" id="fontbutton">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="use_font">True</property>
|
|
<property name="use_size">True</property>
|
|
<property name="moo_prefs_key">font</property>
|
|
<property name="moo_sensitive">!use_default_font</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">2</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label99">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Font:</property>
|
|
<property name="moo_sensitive">!use_default_font</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="x_options"></property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">2</property>
|
|
<property name="tab_expand">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label97">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Font and colors</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="type">tab</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox2">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkFrame" id="frame1">
|
|
<property name="visible">True</property>
|
|
<property name="label_xalign">0.000000</property>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment3">
|
|
<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="GtkTable" id="table">
|
|
<property name="visible">True</property>
|
|
<property name="n_rows">4</property>
|
|
<property name="n_columns">2</property>
|
|
<child>
|
|
<widget class="GtkEntry" id="config">
|
|
<property name="visible">True</property>
|
|
<property name="activates_default">True</property>
|
|
<property name="tooltip">strip: bool; use-tabs: bool; indent-width: integer; tab-width: integer</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">2</property>
|
|
<property name="top_attach">3</property>
|
|
<property name="bottom_attach">4</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label9">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">1.000000</property>
|
|
<property name="label" translatable="yes">Options:</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="top_attach">3</property>
|
|
<property name="bottom_attach">4</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label_mimetypes">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">1.000000</property>
|
|
<property name="label" translatable="yes">Mime types:</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="top_attach">1</property>
|
|
<property name="bottom_attach">2</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label_extensions">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">1.000000</property>
|
|
<property name="label" translatable="yes">Extensions:</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="top_attach">2</property>
|
|
<property name="bottom_attach">3</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkEntry" id="mimetypes">
|
|
<property name="visible">True</property>
|
|
<property name="activates_default">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">2</property>
|
|
<property name="top_attach">1</property>
|
|
<property name="bottom_attach">2</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkEntry" id="extensions">
|
|
<property name="visible">True</property>
|
|
<property name="activates_default">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">2</property>
|
|
<property name="top_attach">2</property>
|
|
<property name="bottom_attach">3</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label768">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">1.000000</property>
|
|
<property name="label" translatable="yes">Language:</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkComboBox" id="lang_combo">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">2</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label7">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Language-specific options</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="frame2">
|
|
<property name="visible">True</property>
|
|
<property name="label_xalign">0.000000</property>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment4">
|
|
<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="vbox4">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkScrolledWindow" id="scrolledwindow1">
|
|
<property name="visible">True</property>
|
|
<property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
|
|
<property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
|
|
<property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
|
|
<child>
|
|
<widget class="GtkTreeView" id="filter_treeview">
|
|
<property name="visible">True</property>
|
|
<property name="reorderable">True</property>
|
|
<property name="rules_hint">True</property>
|
|
<property name="enable_search">False</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkHBox" id="hbox2">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkButton" id="new_filter_setting">
|
|
<property name="visible">True</property>
|
|
<property name="focus_on_click">False</property>
|
|
<child>
|
|
<widget class="GtkImage" id="image1">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-new</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkButton" id="delete_filter_setting">
|
|
<property name="visible">True</property>
|
|
<property name="focus_on_click">False</property>
|
|
<child>
|
|
<widget class="GtkImage" id="image2">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-delete</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="GtkButton" id="filter_setting_down">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkImage" id="image3">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-go-down</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">2</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkButton" id="filter_setting_up">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkImage" id="image4">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-go-up</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">3</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label8">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">File filters</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="type">label_item</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">3</property>
|
|
<property name="tab_expand">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label6">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Languages and files</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="type">tab</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</glade-interface>
|