1107 lines
58 KiB
Plaintext
1107 lines
58 KiB
Plaintext
|
<?xml version="1.0"?>
|
||
|
|
<interface>
|
||
|
|
<requires lib="gtk+" version="2.16"/>
|
||
|
|
<!-- interface-naming-policy toplevel-contextual -->
|
||
|
|
<object class="GtkAdjustment" id="adjustment1">
|
||
|
|
<property name="value">80</property>
|
||
|
|
<property name="lower">1</property>
|
||
|
|
<property name="upper">160</property>
|
||
|
|
<property name="step_increment">1</property>
|
||
|
|
<property name="page_increment">10</property>
|
||
|
|
</object>
|
||
|
|
<object class="GtkAdjustment" id="adjustment2">
|
||
|
|
<property name="value">8</property>
|
||
|
|
<property name="lower">1</property>
|
||
|
|
<property name="upper">24</property>
|
||
|
|
<property name="step_increment">1</property>
|
||
|
|
<property name="page_increment">4</property>
|
||
|
|
</object>
|
||
|
|
<object class="GtkAdjustment" id="adjustment3">
|
||
|
|
<property name="value">8</property>
|
||
|
|
<property name="lower">1</property>
|
||
|
|
<property name="upper">100</property>
|
||
|
|
<property name="step_increment">1</property>
|
||
|
|
<property name="page_increment">10</property>
|
||
|
|
</object>
|
||
|
|
<object class="GtkImage" id="install_scheme_image">
|
||
|
|
<property name="stock">gtk-add</property>
|
||
|
|
</object>
|
||
|
|
<object class="GtkDialog" id="preferences_dialog">
|
||
|
|
<property name="title" translatable="yes">Preferences</property>
|
||
|
|
<property name="resizable">False</property>
|
||
|
|
<property name="destroy_with_parent">True</property>
|
||
|
|
<property name="type_hint">dialog</property>
|
||
|
|
<child internal-child="vbox">
|
||
|
|
<object class="GtkVBox" id="dialog-vbox">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkNotebook" id="notebook">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="border_width">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox228">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="border_width">12</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">18</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox226">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label848">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0</property>
|
||
|
|
<property name="label" translatable="yes">Text Wrapping</property>
|
||
|
|
<attributes>
|
||
|
|
<attribute name="weight" value="bold"/>
|
||
|
|
</attributes>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkHBox" id="hbox142">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label849">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes"> </property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="wrap_mode_frame">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkCheckButton" id="wrap_text_checkbutton">
|
||
|
|
<property name="label" translatable="yes">Enable text _wrapping</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkCheckButton" id="split_checkbutton">
|
||
|
|
<property name="label" translatable="yes">Do not _split words over two lines</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox217">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label854">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0</property>
|
||
|
|
<property name="label" translatable="yes">Line Numbers</property>
|
||
|
|
<attributes>
|
||
|
|
<attribute name="weight" value="bold"/>
|
||
|
|
</attributes>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkHBox" id="hbox137">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label843">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes"> </property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox222">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkCheckButton" id="display_line_numbers_checkbutton">
|
||
|
|
<property name="label" translatable="yes">_Display line numbers</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox244">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label876">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0</property>
|
||
|
|
<property name="label" translatable="yes">Current Line</property>
|
||
|
|
<attributes>
|
||
|
|
<attribute name="weight" value="bold"/>
|
||
|
|
</attributes>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkHBox" id="hbox161">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label877">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes"> </property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox245">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkCheckButton" id="highlight_current_line_checkbutton">
|
||
|
|
<property name="label" translatable="yes">Highlight current _line</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="position">2</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox230">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label855">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0</property>
|
||
|
|
<property name="label" translatable="yes">Right Margin</property>
|
||
|
|
<attributes>
|
||
|
|
<attribute name="weight" value="bold"/>
|
||
|
|
</attributes>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkHBox" id="hbox145">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label856">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes"> </property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox231">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkCheckButton" id="right_margin_checkbutton">
|
||
|
|
<property name="label" translatable="yes">Display right _margin</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkHBox" id="right_margin_position_hbox">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label857">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0</property>
|
||
|
|
<property name="label" translatable="yes">_Right margin at column:</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="mnemonic_widget">right_margin_position_spinbutton</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkSpinButton" id="right_margin_position_spinbutton">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="adjustment">adjustment1</property>
|
||
|
|
<property name="climb_rate">1</property>
|
||
|
|
<property name="snap_to_ticks">True</property>
|
||
|
|
<property name="numeric">True</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">3</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox249">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label881">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0</property>
|
||
|
|
<property name="label" translatable="yes">Bracket Matching</property>
|
||
|
|
<attributes>
|
||
|
|
<attribute name="weight" value="bold"/>
|
||
|
|
</attributes>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkHBox" id="hbox163">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label882">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes"> </property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox250">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkCheckButton" id="bracket_matching_checkbutton">
|
||
|
|
<property name="label" translatable="yes">Highlight matching _bracket</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">4</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
</child>
|
||
|
|
<child type="tab">
|
||
|
|
<object class="GtkLabel" id="label853">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">View</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="tab_fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox224">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="border_width">12</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">18</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox225">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label846">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0</property>
|
||
|
|
<property name="label" translatable="yes">Tab Stops</property>
|
||
|
|
<attributes>
|
||
|
|
<attribute name="weight" value="bold"/>
|
||
|
|
</attributes>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkHBox" id="hbox141">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label847">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes"> </property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox205">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkHBox" id="tabs_width_hbox">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label98">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">_Tab width:</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="justify">center</property>
|
||
|
|
<property name="mnemonic_widget">tabs_width_spinbutton</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkSpinButton" id="tabs_width_spinbutton">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="adjustment">adjustment2</property>
|
||
|
|
<property name="climb_rate">1</property>
|
||
|
|
<property name="numeric">True</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkCheckButton" id="insert_spaces_checkbutton">
|
||
|
|
<property name="label" translatable="yes">Insert _spaces instead of tabs</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox227">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label851">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0</property>
|
||
|
|
<property name="label" translatable="yes">Automatic Indentation</property>
|
||
|
|
<attributes>
|
||
|
|
<attribute name="weight" value="bold"/>
|
||
|
|
</attributes>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkHBox" id="hbox143">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label852">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes"> </property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkCheckButton" id="auto_indent_checkbutton">
|
||
|
|
<property name="label" translatable="yes">_Enable automatic indentation</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox232">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label859">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0</property>
|
||
|
|
<property name="label" translatable="yes">File Saving</property>
|
||
|
|
<attributes>
|
||
|
|
<attribute name="weight" value="bold"/>
|
||
|
|
</attributes>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkHBox" id="hbox147">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label860">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes"> </property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox187">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkCheckButton" id="backup_copy_checkbutton">
|
||
|
|
<property name="label" translatable="yes">Create a _backup copy of files before saving</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkHBox" id="autosave_hbox">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkCheckButton" id="auto_save_checkbutton">
|
||
|
|
<property name="label" translatable="yes">_Autosave files every</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkSpinButton" id="auto_save_spinbutton">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="adjustment">adjustment3</property>
|
||
|
|
<property name="climb_rate">1</property>
|
||
|
|
<property name="numeric">True</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label97">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">_minutes</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="justify">center</property>
|
||
|
|
<property name="mnemonic_widget">auto_save_spinbutton</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">2</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">2</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child type="tab">
|
||
|
|
<object class="GtkLabel" id="label829">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">Editor</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
<property name="tab_fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox202">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="border_width">12</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">18</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox185">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label819">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0</property>
|
||
|
|
<property name="label" translatable="yes">Font</property>
|
||
|
|
<attributes>
|
||
|
|
<attribute name="weight" value="bold"/>
|
||
|
|
</attributes>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkHBox" id="hbox116">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label800">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes"> </property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox183">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkCheckButton" id="default_font_checkbutton">
|
||
|
|
<property name="label">_Use the system fixed width font (%s)</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkHBox" id="font_hbox">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="spacing">12</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="font_label">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0</property>
|
||
|
|
<property name="label" translatable="yes">Editor _font: </property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="justify">center</property>
|
||
|
|
<property name="mnemonic_widget">font_button</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkFontButton" id="font_button">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="title" translatable="yes">Pick the editor font</property>
|
||
|
|
<property name="use_font">True</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox14">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label798">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0</property>
|
||
|
|
<property name="label" translatable="yes">Color Scheme</property>
|
||
|
|
<attributes>
|
||
|
|
<attribute name="weight" value="bold"/>
|
||
|
|
</attributes>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkHBox" id="hbox115">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkLabel" id="label797">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes"> </property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="vbox1">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkScrolledWindow" id="scrolledwindow2">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="hscrollbar_policy">automatic</property>
|
||
|
|
<property name="vscrollbar_policy">automatic</property>
|
||
|
|
<property name="shadow_type">etched-in</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkTreeView" id="schemes_treeview">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
||
|
|
<property name="headers_visible">False</property>
|
||
|
|
<property name="rules_hint">True</property>
|
||
|
|
</object>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkHButtonBox" id="hbuttonbox1">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="spacing">6</property>
|
||
|
|
<property name="layout_style">end</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkButton" id="install_scheme_button">
|
||
|
|
<property name="label" translatable="yes">_Add...</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="image">install_scheme_image</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkButton" id="uninstall_scheme_button">
|
||
|
|
<property name="label">gtk-remove</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="use_stock">True</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">2</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child type="tab">
|
||
|
|
<object class="GtkLabel" id="label830">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">Font & Colors</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">2</property>
|
||
|
|
<property name="tab_fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkVBox" id="plugin_manager_place_holder">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="border_width">12</property>
|
||
|
|
<property name="orientation">vertical</property>
|
||
|
|
<child>
|
||
|
|
<placeholder/>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">3</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child type="tab">
|
||
|
|
<object class="GtkLabel" id="label868">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">Plugins</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">3</property>
|
||
|
|
<property name="tab_fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child internal-child="action_area">
|
||
|
|
<object class="GtkHButtonBox" id="dialog-action_area">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="layout_style">end</property>
|
||
|
|
<child>
|
||
|
|
<object class="GtkButton" id="helpbutton1">
|
||
|
|
<property name="label">gtk-help</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="can_default">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="use_stock">True</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
<child>
|
||
|
|
<object class="GtkButton" id="closebutton1">
|
||
|
|
<property name="label">gtk-close</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="can_default">True</property>
|
||
|
|
<property name="receives_default">False</property>
|
||
|
|
<property name="use_stock">True</property>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
<property name="position">1</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
<packing>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="pack_type">end</property>
|
||
|
|
<property name="position">0</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</object>
|
||
|
|
</child>
|
||
|
|
<action-widgets>
|
||
|
|
<action-widget response="-11">helpbutton1</action-widget>
|
||
|
|
<action-widget response="-7">closebutton1</action-widget>
|
||
|
|
</action-widgets>
|
||
|
|
</object>
|
||
|
|
</interface>
|