345 lines
11 KiB
XML
345 lines
11 KiB
XML
<?xml version="1.0"?>
|
|
<glade-interface>
|
|
<!-- interface-requires gtk+ 2.8 -->
|
|
<!-- interface-naming-policy toplevel-contextual -->
|
|
<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>
|
|
<property name="position">0</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="label" translatable="yes">Enable text wrapping</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="receives_default">False</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="draw_indicator">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">0</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="dont_split_words">
|
|
<property name="label" translatable="yes">Do not split words</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="receives_default">False</property>
|
|
<property name="use_underline">True</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>
|
|
<property name="position">0</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>
|
|
<property name="position">0</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="label" translatable="yes">Enable syntax highlighting</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="receives_default">False</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="draw_indicator">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">0</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_highlight_matching_brackets">
|
|
<property name="label" translatable="yes">Highlight matching brackets</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="receives_default">False</property>
|
|
<property name="use_underline">True</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="label" translatable="yes">Highlight mismatching brackets</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="receives_default">False</property>
|
|
<property name="use_underline">True</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="label" translatable="yes">Highlight current line</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="receives_default">False</property>
|
|
<property name="use_underline">True</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>
|
|
<property name="position">0</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="label" translatable="yes">Show line numbers</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="receives_default">False</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="draw_indicator">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">0</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_show_tabs">
|
|
<property name="label" translatable="yes">Show tabs</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="receives_default">False</property>
|
|
<property name="use_underline">True</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_spaces">
|
|
<property name="label" translatable="yes">Show spaces</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="receives_default">False</property>
|
|
<property name="use_underline">True</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_show_trailing_spaces">
|
|
<property name="label" translatable="yes">Show trailing spaces</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="receives_default">False</property>
|
|
<property name="use_underline">True</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>
|
|
<child>
|
|
<widget class="GtkHBox" id="hbox3">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="draw_rigth_margin">
|
|
<property name="label" translatable="yes" comments="Part of the phrase "Draw right margin at column [XX]"">Draw right margin</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">False</property>
|
|
<property name="receives_default">False</property>
|
|
<property name="draw_indicator">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">0</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>
|
|
<property name="position">0</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 0</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">4</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>
|
|
</glade-interface>
|