1256 lines
61 KiB
XML
1256 lines
61 KiB
XML
<?xml version="1.0"?>
|
|
<glade-interface>
|
|
<requires-version lib="gtk+" version="2.12"/>
|
|
<widget class="GtkWindow" id="window4">
|
|
<child>
|
|
<widget class="GtkVBox" id="PrefsFile">
|
|
<property name="visible">True</property>
|
|
<property name="border_width">12</property>
|
|
<property name="spacing">18</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox1">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label1">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes"><b>Loading</b></property>
|
|
<property name="use_markup">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment3">
|
|
<property name="visible">True</property>
|
|
<property name="left_padding">12</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox2">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkHBox" id="hbox1">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label12">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes">Encodings to autodetect:</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkEntry" id="entry_encodings">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Comma-separated list of encodings to try when opening a file. 'LOCALE' means current locale encoding.</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</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="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox3">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label4">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes"><b>Saving</b></property>
|
|
<property name="use_markup">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment4">
|
|
<property name="visible">True</property>
|
|
<property name="left_padding">12</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox4">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkHBox" id="hbox2">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label5">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes">Encoding for new files:</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkComboBoxEntry" id="encoding_save">
|
|
<property name="visible">True</property>
|
|
<child internal-child="entry">
|
|
<widget class="GtkEntry" id="comboboxentry-entry2">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_strip">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Remove trailing spaces</property>
|
|
<property name="use_underline">True</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">1</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_add_newline">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Ensure trailing newline</property>
|
|
<property name="use_underline">True</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="GtkCheckButton" id="check_make_backups">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Make backups</property>
|
|
<property name="use_underline">True</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">3</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</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="fill">False</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox5">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label6">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes"><b>Sessions</b></property>
|
|
<property name="use_markup">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment5">
|
|
<property name="visible">True</property>
|
|
<property name="left_padding">12</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox6">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_save_session">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Enable session support</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>
|
|
</widget>
|
|
</child>
|
|
</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="fill">False</property>
|
|
<property name="position">2</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox7">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label2">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes"><b>Dialogs</b></property>
|
|
<property name="use_markup">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment1">
|
|
<property name="visible">True</property>
|
|
<property name="left_padding">12</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox8">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_open_dialog_follows_doc">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Open and Save As dialogs show current document folder</property>
|
|
<property name="use_underline">True</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>
|
|
</widget>
|
|
</child>
|
|
</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="fill">False</property>
|
|
<property name="position">3</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<widget class="GtkWindow" id="window2">
|
|
<child>
|
|
<widget class="GtkVBox" id="PrefsView">
|
|
<property name="visible">True</property>
|
|
<property name="border_width">12</property>
|
|
<property name="spacing">18</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox9">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label3">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes"><b>Text wrapping</b></property>
|
|
<property name="use_markup">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment2">
|
|
<property name="visible">True</property>
|
|
<property name="left_padding">12</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox10">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="enable_wrapping">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Enable text wrapping</property>
|
|
<property name="use_underline">True</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="dont_split_words">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Do not split words</property>
|
|
<property name="use_underline">True</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">1</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</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="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox11">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label7">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes"><b>Highlighting</b></property>
|
|
<property name="use_markup">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment6">
|
|
<property name="visible">True</property>
|
|
<property name="left_padding">12</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox12">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_enable_highlighting">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Enable syntax highlighting</property>
|
|
<property name="use_underline">True</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="check_highlight_matching_brackets">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Highlight matching brackets</property>
|
|
<property name="use_underline">True</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">1</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_highlight_mismatching_brackets">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Highlight mismatching brackets</property>
|
|
<property name="use_underline">True</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="GtkCheckButton" id="check_highlight_current_line">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Highlight current line</property>
|
|
<property name="use_underline">True</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">3</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</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="fill">False</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox13">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label8">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes"><b>Misc</b></property>
|
|
<property name="use_markup">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment7">
|
|
<property name="visible">True</property>
|
|
<property name="left_padding">12</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox14">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="show_line_numbers">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Show line numbers</property>
|
|
<property name="use_underline">True</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="check_show_tabs">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Show tabs</property>
|
|
<property name="use_underline">True</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">1</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_show_trailing_spaces">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Show trailing spaces</property>
|
|
<property name="use_underline">True</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="hbox3">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="draw_rigth_margin">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes" comments="Part of the phrase "Draw right margin at column [XX]"">Draw right margin</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="GtkHBox" id="right_margin_box">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label9">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes" comments="Part of the phrase "Draw right margin at column [XX]"">at column</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkSpinButton" id="spin_right_margin_offset">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="adjustment">80 1 1000 1 5 5</property>
|
|
<property name="numeric">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">3</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</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="fill">False</property>
|
|
<property name="position">2</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<widget class="GtkWindow" id="window5">
|
|
<child>
|
|
<widget class="GtkVBox" id="PrefsLangs">
|
|
<property name="visible">True</property>
|
|
<property name="border_width">12</property>
|
|
<property name="spacing">18</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox15">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label10">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes"><b>Language-specific options</b></property>
|
|
<property name="use_markup">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment8">
|
|
<property name="visible">True</property>
|
|
<property name="left_padding">12</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox16">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkTable" id="table">
|
|
<property name="visible">True</property>
|
|
<property name="n_rows">4</property>
|
|
<property name="n_columns">2</property>
|
|
<property name="column_spacing">6</property>
|
|
<property name="row_spacing">6</property>
|
|
<child>
|
|
<widget class="GtkEntry" id="config">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip">strip: bool; add-newline:bool; use-tabs: bool; indent-width: integer; tab-width: integer</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">3</property>
|
|
<property name="bottom_attach">4</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label11">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">1</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</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</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</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>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</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="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox17">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label13">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes"><b>Default language</b></property>
|
|
<property name="use_markup">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment9">
|
|
<property name="visible">True</property>
|
|
<property name="left_padding">12</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox18">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkComboBox" id="default_lang_combo">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</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="fill">False</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<widget class="GtkWindow" id="window1">
|
|
<child>
|
|
<widget class="GtkVBox" id="PrefsGeneral">
|
|
<property name="visible">True</property>
|
|
<property name="border_width">12</property>
|
|
<property name="spacing">18</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox21">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label15">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes"><b>Keyboard</b></property>
|
|
<property name="use_markup">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment11">
|
|
<property name="visible">True</property>
|
|
<property name="left_padding">12</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox22">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="smarthome">
|
|
<property name="visible">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="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="response_id">0</property>
|
|
<property name="draw_indicator">True</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label16">
|
|
<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="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="GtkCheckButton" id="backspace_indents">
|
|
<property name="visible">True</property>
|
|
<property name="response_id">0</property>
|
|
<property name="draw_indicator">True</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label17">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Backspace key unindents</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">3</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="tab_indents">
|
|
<property name="visible">True</property>
|
|
<property name="response_id">0</property>
|
|
<property name="draw_indicator">True</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label18">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Tab key indents</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">4</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>
|
|
<property name="column_spacing">6</property>
|
|
<property name="row_spacing">6</property>
|
|
<child>
|
|
<widget class="GtkSpinButton" id="indent_width">
|
|
<property name="visible">True</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="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"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label32">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">1</property>
|
|
<property name="label" translatable="yes">Indent width:</property>
|
|
<property name="mnemonic_widget">indent_width</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="top_attach">1</property>
|
|
<property name="bottom_attach">2</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkSpinButton" id="tab_width">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</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="left_attach">1</property>
|
|
<property name="right_attach">2</property>
|
|
<property name="x_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label19">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">1</property>
|
|
<property name="label" translatable="yes">Tab width:</property>
|
|
<property name="mnemonic_widget">tab_width</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="x_options">GTK_FILL</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">5</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</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="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox19">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label14">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes"><b>Font and colors</b></property>
|
|
<property name="use_markup">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment10">
|
|
<property name="visible">True</property>
|
|
<property name="left_padding">12</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox20">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkTable" id="table2">
|
|
<property name="visible">True</property>
|
|
<property name="n_rows">2</property>
|
|
<property name="n_columns">2</property>
|
|
<property name="column_spacing">6</property>
|
|
<property name="row_spacing">6</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label99">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">1</property>
|
|
<property name="label" translatable="yes">Font:</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<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">1</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">GTK_FILL</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkFontButton" id="fontbutton:MooFontButton">
|
|
<property name="visible">True</property>
|
|
<property name="response_id">0</property>
|
|
<property name="use_font">True</property>
|
|
<property name="use_size">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">2</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</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="fill">False</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<widget class="GtkWindow" id="window3">
|
|
<child>
|
|
<widget class="GtkVBox" id="PrefsFilters">
|
|
<property name="visible">True</property>
|
|
<property name="border_width">12</property>
|
|
<property name="spacing">18</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox23">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="label20">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes"><b>File filters</b></property>
|
|
<property name="use_markup">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment12">
|
|
<property name="visible">True</property>
|
|
<property name="left_padding">12</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox24">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox25">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkScrolledWindow" id="scrolledwindow1">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</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="width_request">400</property>
|
|
<property name="height_request">200</property>
|
|
<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="hbox4">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<widget class="GtkButton" id="new_filter_setting">
|
|
<property name="visible">True</property>
|
|
<property name="focus_on_click">False</property>
|
|
<property name="response_id">0</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>
|
|
<property name="response_id">0</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>
|
|
<property name="response_id">0</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>
|
|
<property name="response_id">0</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>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</glade-interface>
|