2007-07-04 19:16:49 -07:00
|
|
|
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
|
|
|
|
<!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
|
2007-09-22 18:26:04 -07:00
|
|
|
<!--Generated with glade3 3.3.3 on Sat Sep 22 20:16:12 2007
|
2007-07-04 19:16:49 -07:00
|
|
|
Version: 3.0.0
|
|
|
|
|
Date: Fri Dec 8 17:47:39 2006
|
|
|
|
|
User: muntyan
|
|
|
|
|
Host: munt10
|
|
|
|
|
-->
|
|
|
|
|
<glade-interface>
|
|
|
|
|
<widget class="GtkWindow" id="window2">
|
|
|
|
|
<child>
|
|
|
|
|
<widget class="GtkVBox" id="page">
|
|
|
|
|
<property name="visible">True</property>
|
|
|
|
|
<child>
|
|
|
|
|
<widget class="GtkFrame" id="frame181">
|
|
|
|
|
<property name="visible">True</property>
|
|
|
|
|
<property name="border_width">3</property>
|
|
|
|
|
<property name="label_xalign">0</property>
|
|
|
|
|
<child>
|
|
|
|
|
<widget class="GtkAlignment" id="alignment281">
|
|
|
|
|
<property name="visible">True</property>
|
|
|
|
|
<property name="bottom_padding">3</property>
|
|
|
|
|
<property name="left_padding">3</property>
|
|
|
|
|
<property name="right_padding">3</property>
|
|
|
|
|
<child>
|
|
|
|
|
<widget class="GtkVBox" id="vbox131">
|
|
|
|
|
<property name="visible">True</property>
|
|
|
|
|
<child>
|
|
|
|
|
<widget class="GtkCheckButton" id="enable_wrapping">
|
|
|
|
|
<property name="visible">True</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="moo_prefs_key">wrapping_enable</property>
|
2007-07-04 19:16:49 -07:00
|
|
|
<property name="label" translatable="yes">Enable text wrapping</property>
|
|
|
|
|
<property name="use_underline">True</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="response_id">0</property>
|
2007-07-04 19:16:49 -07:00
|
|
|
<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>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="moo_prefs_key">wrapping_dont_split_words</property>
|
|
|
|
|
<property name="moo_sensitive">enable_wrapping</property>
|
2007-07-04 19:16:49 -07:00
|
|
|
<property name="label" translatable="yes">Do not split words</property>
|
|
|
|
|
<property name="use_underline">True</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="response_id">0</property>
|
2007-07-04 19:16:49 -07:00
|
|
|
<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>
|
|
|
|
|
</child>
|
|
|
|
|
<child>
|
|
|
|
|
<widget class="GtkLabel" id="label701">
|
|
|
|
|
<property name="visible">True</property>
|
|
|
|
|
<property name="label" translatable="yes">Text wrapping</property>
|
|
|
|
|
</widget>
|
|
|
|
|
<packing>
|
|
|
|
|
<property name="type">label_item</property>
|
|
|
|
|
</packing>
|
|
|
|
|
</child>
|
|
|
|
|
</widget>
|
|
|
|
|
<packing>
|
|
|
|
|
<property name="expand">False</property>
|
|
|
|
|
<property name="fill">False</property>
|
|
|
|
|
</packing>
|
|
|
|
|
</child>
|
|
|
|
|
<child>
|
|
|
|
|
<widget class="GtkFrame" id="frame26">
|
|
|
|
|
<property name="visible">True</property>
|
|
|
|
|
<property name="border_width">3</property>
|
|
|
|
|
<property name="label_xalign">0</property>
|
|
|
|
|
<child>
|
|
|
|
|
<widget class="GtkAlignment" id="alignment38">
|
|
|
|
|
<property name="visible">True</property>
|
|
|
|
|
<property name="bottom_padding">3</property>
|
|
|
|
|
<property name="left_padding">3</property>
|
|
|
|
|
<property name="right_padding">3</property>
|
|
|
|
|
<child>
|
|
|
|
|
<widget class="GtkVBox" id="vbox20">
|
|
|
|
|
<property name="visible">True</property>
|
|
|
|
|
<child>
|
|
|
|
|
<widget class="GtkCheckButton" id="checkbutton5">
|
|
|
|
|
<property name="visible">True</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="moo_prefs_key">enable_highlighting</property>
|
2007-07-04 19:16:49 -07:00
|
|
|
<property name="label" translatable="yes">Enable syntax highlighting</property>
|
|
|
|
|
<property name="use_underline">True</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="response_id">0</property>
|
2007-07-04 19:16:49 -07:00
|
|
|
<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="checkbutton6">
|
|
|
|
|
<property name="visible">True</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="moo_prefs_key">highlight_matching_brackets</property>
|
2007-07-04 19:16:49 -07:00
|
|
|
<property name="label" translatable="yes">Highlight matching brackets</property>
|
|
|
|
|
<property name="use_underline">True</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="response_id">0</property>
|
2007-07-04 19:16:49 -07:00
|
|
|
<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="checkbutton7">
|
2007-07-31 02:03:05 -07:00
|
|
|
<property name="visible">True</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="moo_prefs_key">highlight_mismatching_brackets</property>
|
|
|
|
|
<property name="label" translatable="yes">Highlight mismatching brackets</property>
|
2007-07-04 19:16:49 -07:00
|
|
|
<property name="use_underline">True</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="response_id">0</property>
|
2007-07-04 19:16:49 -07:00
|
|
|
<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="checkbutton9">
|
|
|
|
|
<property name="visible">True</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="moo_prefs_key">highlight_current_line</property>
|
2007-07-04 19:16:49 -07:00
|
|
|
<property name="label" translatable="yes">Highlight current line</property>
|
|
|
|
|
<property name="use_underline">True</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="response_id">0</property>
|
2007-07-04 19:16:49 -07:00
|
|
|
<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>
|
|
|
|
|
</child>
|
|
|
|
|
<child>
|
|
|
|
|
<widget class="GtkLabel" id="label98">
|
|
|
|
|
<property name="visible">True</property>
|
|
|
|
|
<property name="label" translatable="yes">Highlighting</property>
|
|
|
|
|
</widget>
|
|
|
|
|
<packing>
|
|
|
|
|
<property name="type">label_item</property>
|
|
|
|
|
</packing>
|
|
|
|
|
</child>
|
|
|
|
|
</widget>
|
|
|
|
|
<packing>
|
|
|
|
|
<property name="expand">False</property>
|
|
|
|
|
<property name="fill">False</property>
|
|
|
|
|
<property name="position">1</property>
|
|
|
|
|
</packing>
|
|
|
|
|
</child>
|
|
|
|
|
<child>
|
|
|
|
|
<widget class="GtkFrame" id="frame19">
|
|
|
|
|
<property name="visible">True</property>
|
|
|
|
|
<property name="border_width">3</property>
|
|
|
|
|
<property name="label_xalign">0</property>
|
|
|
|
|
<child>
|
|
|
|
|
<widget class="GtkAlignment" id="alignment29">
|
|
|
|
|
<property name="visible">True</property>
|
|
|
|
|
<property name="bottom_padding">3</property>
|
|
|
|
|
<property name="left_padding">3</property>
|
|
|
|
|
<property name="right_padding">3</property>
|
|
|
|
|
<child>
|
|
|
|
|
<widget class="GtkVBox" id="vbox14">
|
|
|
|
|
<property name="visible">True</property>
|
|
|
|
|
<child>
|
|
|
|
|
<widget class="GtkCheckButton" id="show_line_numbers">
|
|
|
|
|
<property name="visible">True</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="moo_prefs_key">show_line_numbers</property>
|
2007-07-04 19:16:49 -07:00
|
|
|
<property name="label" translatable="yes">Show line numbers</property>
|
|
|
|
|
<property name="use_underline">True</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="response_id">0</property>
|
2007-07-04 19:16:49 -07:00
|
|
|
<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="checkbutton3">
|
|
|
|
|
<property name="visible">True</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="moo_prefs_key">show_tabs</property>
|
2007-07-04 19:16:49 -07:00
|
|
|
<property name="label" translatable="yes">Show tabs</property>
|
|
|
|
|
<property name="use_underline">True</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="response_id">0</property>
|
2007-07-04 19:16:49 -07:00
|
|
|
<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="checkbutton4">
|
|
|
|
|
<property name="visible">True</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="moo_prefs_key">show_trailing_spaces</property>
|
2007-07-04 19:16:49 -07:00
|
|
|
<property name="label" translatable="yes">Show trailing spaces</property>
|
|
|
|
|
<property name="use_underline">True</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="response_id">0</property>
|
2007-07-04 19:16:49 -07:00
|
|
|
<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>
|
2007-07-15 02:51:58 -07:00
|
|
|
<child>
|
|
|
|
|
<widget class="GtkHBox" id="hbox1">
|
|
|
|
|
<property name="visible">True</property>
|
|
|
|
|
<child>
|
|
|
|
|
<widget class="GtkCheckButton" id="draw_rigth_margin">
|
|
|
|
|
<property name="visible">True</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="moo_prefs_key">draw_right_margin</property>
|
2007-07-15 02:51:58 -07:00
|
|
|
<property name="label" translatable="yes" comments="Part of the phrase "Draw right margin at column [XX]"">Draw right margin</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="response_id">0</property>
|
2007-07-15 02:51:58 -07:00
|
|
|
<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="hbox2">
|
|
|
|
|
<property name="visible">True</property>
|
|
|
|
|
<property name="moo_sensitive">draw_rigth_margin</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="spacing">2</property>
|
2007-07-15 02:51:58 -07:00
|
|
|
<child>
|
|
|
|
|
<widget class="GtkLabel" id="label1">
|
|
|
|
|
<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="spinbutton1">
|
|
|
|
|
<property name="visible">True</property>
|
|
|
|
|
<property name="can_focus">True</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="moo_prefs_key">right_margin_offset</property>
|
2007-07-15 02:51:58 -07:00
|
|
|
<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="position">3</property>
|
|
|
|
|
</packing>
|
|
|
|
|
</child>
|
2007-07-04 19:16:49 -07:00
|
|
|
</widget>
|
|
|
|
|
</child>
|
|
|
|
|
</widget>
|
|
|
|
|
</child>
|
|
|
|
|
<child>
|
|
|
|
|
<widget class="GtkLabel" id="label73">
|
|
|
|
|
<property name="visible">True</property>
|
|
|
|
|
<property name="label" translatable="yes">Misc</property>
|
|
|
|
|
</widget>
|
|
|
|
|
<packing>
|
|
|
|
|
<property name="type">label_item</property>
|
|
|
|
|
</packing>
|
|
|
|
|
</child>
|
|
|
|
|
</widget>
|
|
|
|
|
<packing>
|
|
|
|
|
<property name="expand">False</property>
|
|
|
|
|
<property name="fill">False</property>
|
|
|
|
|
<property name="position">2</property>
|
|
|
|
|
</packing>
|
|
|
|
|
</child>
|
2007-07-11 22:51:16 -07:00
|
|
|
<child>
|
|
|
|
|
<widget class="GtkFrame" id="frame1345">
|
|
|
|
|
<property name="visible">True</property>
|
|
|
|
|
<property name="border_width">3</property>
|
|
|
|
|
<property name="label_xalign">0</property>
|
|
|
|
|
<child>
|
|
|
|
|
<widget class="GtkAlignment" id="alignment3">
|
|
|
|
|
<property name="visible">True</property>
|
|
|
|
|
<property name="bottom_padding">3</property>
|
|
|
|
|
<property name="left_padding">3</property>
|
|
|
|
|
<property name="right_padding">3</property>
|
|
|
|
|
<child>
|
|
|
|
|
<widget class="GtkVBox" id="vbox267">
|
|
|
|
|
<property name="visible">True</property>
|
|
|
|
|
<child>
|
|
|
|
|
<widget class="GtkCheckButton" id="use_default_font">
|
|
|
|
|
<property name="visible">True</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="moo_prefs_key">use_default_font</property>
|
2007-07-11 22:51:16 -07:00
|
|
|
<property name="label" translatable="yes">Use default theme font</property>
|
|
|
|
|
<property name="use_underline">True</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="response_id">0</property>
|
2007-07-11 22:51:16 -07:00
|
|
|
<property name="draw_indicator">True</property>
|
|
|
|
|
</widget>
|
|
|
|
|
<packing>
|
|
|
|
|
<property name="expand">False</property>
|
|
|
|
|
<property name="fill">False</property>
|
|
|
|
|
</packing>
|
|
|
|
|
</child>
|
|
|
|
|
<child>
|
|
|
|
|
<widget class="GtkTable" id="table1">
|
|
|
|
|
<property name="visible">True</property>
|
|
|
|
|
<property name="n_rows">2</property>
|
|
|
|
|
<property name="n_columns">2</property>
|
|
|
|
|
<child>
|
2007-09-22 18:26:04 -07:00
|
|
|
<widget class="GtkLabel" id="label99">
|
2007-07-11 22:51:16 -07:00
|
|
|
<property name="visible">True</property>
|
|
|
|
|
<property name="moo_sensitive">!use_default_font</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="label" translatable="yes">Font:</property>
|
2007-07-11 22:51:16 -07:00
|
|
|
</widget>
|
|
|
|
|
<packing>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="x_options"></property>
|
2007-07-11 22:51:16 -07:00
|
|
|
<property name="y_options"></property>
|
|
|
|
|
</packing>
|
|
|
|
|
</child>
|
|
|
|
|
<child>
|
2007-09-22 18:26:04 -07:00
|
|
|
<widget class="GtkComboBox" id="color_scheme_combo">
|
2007-07-11 22:51:16 -07:00
|
|
|
<property name="visible">True</property>
|
|
|
|
|
</widget>
|
|
|
|
|
<packing>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="left_attach">1</property>
|
|
|
|
|
<property name="right_attach">2</property>
|
2007-07-11 22:51:16 -07:00
|
|
|
<property name="top_attach">1</property>
|
|
|
|
|
<property name="bottom_attach">2</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="x_options">GTK_FILL</property>
|
2007-07-11 22:51:16 -07:00
|
|
|
<property name="y_options"></property>
|
|
|
|
|
</packing>
|
|
|
|
|
</child>
|
|
|
|
|
<child>
|
2007-09-22 18:26:04 -07:00
|
|
|
<widget class="GtkLabel" id="label100">
|
2007-07-11 22:51:16 -07:00
|
|
|
<property name="visible">True</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="xalign">0</property>
|
|
|
|
|
<property name="label" translatable="yes">Color scheme:</property>
|
2007-07-11 22:51:16 -07:00
|
|
|
</widget>
|
|
|
|
|
<packing>
|
|
|
|
|
<property name="top_attach">1</property>
|
|
|
|
|
<property name="bottom_attach">2</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="x_options"></property>
|
2007-07-11 22:51:16 -07:00
|
|
|
<property name="y_options"></property>
|
|
|
|
|
</packing>
|
|
|
|
|
</child>
|
|
|
|
|
<child>
|
2007-09-22 18:26:04 -07:00
|
|
|
<widget class="GtkFontButton" id="fontbutton">
|
2007-07-11 22:51:16 -07:00
|
|
|
<property name="visible">True</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="moo_prefs_key">font</property>
|
2007-07-11 22:51:16 -07:00
|
|
|
<property name="moo_sensitive">!use_default_font</property>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="response_id">0</property>
|
|
|
|
|
<property name="use_font">True</property>
|
|
|
|
|
<property name="use_size">True</property>
|
2007-07-11 22:51:16 -07:00
|
|
|
</widget>
|
|
|
|
|
<packing>
|
2007-09-22 18:26:04 -07:00
|
|
|
<property name="left_attach">1</property>
|
|
|
|
|
<property name="right_attach">2</property>
|
2007-07-11 22:51:16 -07:00
|
|
|
<property name="y_options"></property>
|
|
|
|
|
</packing>
|
|
|
|
|
</child>
|
|
|
|
|
</widget>
|
|
|
|
|
<packing>
|
|
|
|
|
<property name="expand">False</property>
|
|
|
|
|
<property name="position">1</property>
|
|
|
|
|
</packing>
|
|
|
|
|
</child>
|
|
|
|
|
</widget>
|
|
|
|
|
</child>
|
|
|
|
|
</widget>
|
|
|
|
|
</child>
|
|
|
|
|
<child>
|
|
|
|
|
<widget class="GtkLabel" id="label13">
|
|
|
|
|
<property name="visible">True</property>
|
|
|
|
|
<property name="label" translatable="yes">Font and colors</property>
|
|
|
|
|
</widget>
|
|
|
|
|
<packing>
|
|
|
|
|
<property name="type">label_item</property>
|
|
|
|
|
</packing>
|
|
|
|
|
</child>
|
|
|
|
|
</widget>
|
|
|
|
|
<packing>
|
|
|
|
|
<property name="expand">False</property>
|
|
|
|
|
<property name="fill">False</property>
|
|
|
|
|
<property name="position">3</property>
|
|
|
|
|
</packing>
|
|
|
|
|
</child>
|
2007-07-04 19:16:49 -07:00
|
|
|
</widget>
|
|
|
|
|
</child>
|
|
|
|
|
</widget>
|
|
|
|
|
</glade-interface>
|
