2439 lines
95 KiB
Plaintext
2439 lines
95 KiB
Plaintext
|
<?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
|
||
|
|
<!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
|
||
|
|
|
||
|
|
<glade-interface>
|
||
|
|
|
||
|
|
<widget class="GtkWindow" id="window">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="title" translatable="yes">window</property>
|
||
|
|
<property name="type">GTK_WINDOW_TOPLEVEL</property>
|
||
|
|
<property name="window_position">GTK_WIN_POS_NONE</property>
|
||
|
|
<property name="modal">False</property>
|
||
|
|
<property name="resizable">True</property>
|
||
|
|
<property name="destroy_with_parent">False</property>
|
||
|
|
<property name="decorated">True</property>
|
||
|
|
<property name="skip_taskbar_hint">False</property>
|
||
|
|
<property name="skip_pager_hint">False</property>
|
||
|
|
<property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
|
||
|
|
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkNotebook" id="notebook">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="show_tabs">True</property>
|
||
|
|
<property name="show_border">True</property>
|
||
|
|
<property name="tab_pos">GTK_POS_TOP</property>
|
||
|
|
<property name="scrollable">False</property>
|
||
|
|
<property name="enable_popup">False</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkVBox" id="vbox3">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkFrame" id="frame15">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label_xalign">0</property>
|
||
|
|
<property name="label_yalign">0.5</property>
|
||
|
|
<property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkAlignment" id="alignment25">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xscale">1</property>
|
||
|
|
<property name="yscale">1</property>
|
||
|
|
<property name="top_padding">0</property>
|
||
|
|
<property name="bottom_padding">3</property>
|
||
|
|
<property name="left_padding">3</property>
|
||
|
|
<property name="right_padding">3</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkVBox" id="vbox9">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkCheckButton" id="smarthome">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="label" translatable="yes">Smart Home and End</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_SMART_HOME_END" last_modification_time="Thu, 17 Mar 2005 18:02:45 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkHBox" id="hbox1">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkLabel" id="label32">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">Tabs Width: </property>
|
||
|
|
<property name="use_underline">False</property>
|
||
|
|
<property name="use_markup">False</property>
|
||
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="selectable">False</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
<property name="mnemonic_widget">tabswidth_spin</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkSpinButton" id="tabswidth_spin">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="climb_rate">1</property>
|
||
|
|
<property name="digits">0</property>
|
||
|
|
<property name="numeric">True</property>
|
||
|
|
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
|
||
|
|
<property name="snap_to_ticks">False</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="adjustment">6 1 100 1 10 10</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_TABS_WIDTH" last_modification_time="Thu, 17 Mar 2005 18:03:12 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">True</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<placeholder/>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkCheckButton" id="usespaces">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="label" translatable="yes">Use Spaces Instead of Tabs</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_SPACES_NO_TABS" last_modification_time="Thu, 17 Mar 2005 18:03:34 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkLabel" id="label64">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">Editing</property>
|
||
|
|
<property name="use_underline">False</property>
|
||
|
|
<property name="use_markup">False</property>
|
||
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="selectable">False</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="type">label_item</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkFrame" id="frame16">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label_xalign">0</property>
|
||
|
|
<property name="label_yalign">0.5</property>
|
||
|
|
<property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkAlignment" id="alignment26">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xscale">1</property>
|
||
|
|
<property name="yscale">1</property>
|
||
|
|
<property name="top_padding">0</property>
|
||
|
|
<property name="bottom_padding">3</property>
|
||
|
|
<property name="left_padding">3</property>
|
||
|
|
<property name="right_padding">3</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkVBox" id="vbox10">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkCheckButton" id="autoindent">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="label" translatable="yes">Auto indent</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_AUTO_INDENT" last_modification_time="Thu, 17 Mar 2005 18:03:53 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkCheckButton" id="tab_indents">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="sensitive">False</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="label" translatable="yes">Tab key indents</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_TAB_INDENTS" last_modification_time="Thu, 17 Mar 2005 18:04:10 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkCheckButton" id="backspace_indents">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="sensitive">False</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="label" translatable="yes">Backspace key indents</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_BACKSPACE_INDENTS" last_modification_time="Thu, 17 Mar 2005 18:04:28 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkLabel" id="label66">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">Indentation</property>
|
||
|
|
<property name="use_underline">False</property>
|
||
|
|
<property name="use_markup">False</property>
|
||
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="selectable">False</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="type">label_item</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkFrame" id="frame17">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label_xalign">0</property>
|
||
|
|
<property name="label_yalign">0.5</property>
|
||
|
|
<property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkAlignment" id="alignment27">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xscale">1</property>
|
||
|
|
<property name="yscale">1</property>
|
||
|
|
<property name="top_padding">0</property>
|
||
|
|
<property name="bottom_padding">3</property>
|
||
|
|
<property name="left_padding">3</property>
|
||
|
|
<property name="right_padding">3</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkVBox" id="vbox11">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkHBox" id="hbox6">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkCheckButton" id="limit_undo">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="label" translatable="yes">Limit undo to </property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_LIMIT_UNDO" last_modification_time="Thu, 17 Mar 2005 18:04:45 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkSpinButton" id="limit_undo_spin">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="climb_rate">1</property>
|
||
|
|
<property name="digits">0</property>
|
||
|
|
<property name="numeric">False</property>
|
||
|
|
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
|
||
|
|
<property name="snap_to_ticks">False</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="adjustment">1 1 100 1 10 10</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_LIMIT_UNDO_NUM" last_modification_time="Thu, 17 Mar 2005 18:05:01 GMT"/>
|
||
|
|
<signal name="moo_sensitive" handler="limit_undo" last_modification_time="Sat, 19 Mar 2005 05:28:44 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkLabel" id="limit_undo_actions_label">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes"> actions</property>
|
||
|
|
<property name="use_underline">False</property>
|
||
|
|
<property name="use_markup">False</property>
|
||
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="selectable">False</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
<signal name="moo_sensitive" handler="limit_undo" last_modification_time="Sat, 19 Mar 2005 05:42:54 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkLabel" id="label67">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">Undo</property>
|
||
|
|
<property name="use_underline">False</property>
|
||
|
|
<property name="use_markup">False</property>
|
||
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="selectable">False</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="type">label_item</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkFrame" id="frame25">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label_xalign">0</property>
|
||
|
|
<property name="label_yalign">0.5</property>
|
||
|
|
<property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkAlignment" id="alignment37">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xscale">1</property>
|
||
|
|
<property name="yscale">1</property>
|
||
|
|
<property name="top_padding">0</property>
|
||
|
|
<property name="bottom_padding">3</property>
|
||
|
|
<property name="left_padding">3</property>
|
||
|
|
<property name="right_padding">3</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkVBox" id="vbox19">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkHBox" id="hbox11">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkCheckButton" id="auto_save">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="label" translatable="yes">Auto save every </property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_AUTO_SAVE" last_modification_time="Thu, 17 Mar 2005 18:05:24 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkSpinButton" id="auto_save_interval">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="climb_rate">1</property>
|
||
|
|
<property name="digits">0</property>
|
||
|
|
<property name="numeric">False</property>
|
||
|
|
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
|
||
|
|
<property name="snap_to_ticks">False</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="adjustment">1 1 100 1 10 10</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_AUTO_SAVE_INTERVAL" last_modification_time="Thu, 17 Mar 2005 18:05:41 GMT"/>
|
||
|
|
<signal name="moo_sensitive" handler="auto_save" last_modification_time="Sat, 19 Mar 2005 05:29:04 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkLabel" id="auto_save_label">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes"> minutes</property>
|
||
|
|
<property name="use_underline">False</property>
|
||
|
|
<property name="use_markup">False</property>
|
||
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="selectable">False</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
<signal name="moo_sensitive" handler="auto_save" last_modification_time="Sat, 19 Mar 2005 05:37:41 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkLabel" id="label95">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">Auto Save</property>
|
||
|
|
<property name="use_underline">False</property>
|
||
|
|
<property name="use_markup">False</property>
|
||
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="selectable">False</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="type">label_item</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="tab_expand">False</property>
|
||
|
|
<property name="tab_fill">True</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkLabel" id="label21">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">General</property>
|
||
|
|
<property name="use_underline">False</property>
|
||
|
|
<property name="use_markup">False</property>
|
||
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="selectable">False</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="type">tab</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkVBox" id="vbox12">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkFrame" id="frame18">
|
||
|
|
<property name="border_width">3</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label_xalign">0</property>
|
||
|
|
<property name="label_yalign">0.5</property>
|
||
|
|
<property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkAlignment" id="alignment28">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xscale">1</property>
|
||
|
|
<property name="yscale">1</property>
|
||
|
|
<property name="top_padding">0</property>
|
||
|
|
<property name="bottom_padding">3</property>
|
||
|
|
<property name="left_padding">3</property>
|
||
|
|
<property name="right_padding">3</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkVBox" id="vbox13">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkCheckButton" id="enable_wrapping">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="label" translatable="yes">Enable text wrapping</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_WRAP_ENABLE" last_modification_time="Thu, 17 Mar 2005 18:06:06 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkCheckButton" id="dont_split_words">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="label" translatable="yes">Do not split words</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_WRAP_DONT_SPLIT_WORDS" last_modification_time="Thu, 17 Mar 2005 18:07:55 GMT"/>
|
||
|
|
<signal name="moo_sensitive" handler="enable_wrapping" last_modification_time="Sat, 19 Mar 2005 05:45:36 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkLabel" id="label70">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">Text wrapping</property>
|
||
|
|
<property name="use_underline">False</property>
|
||
|
|
<property name="use_markup">False</property>
|
||
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="selectable">False</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="type">label_item</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkFrame" id="frame19">
|
||
|
|
<property name="border_width">3</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label_xalign">0</property>
|
||
|
|
<property name="label_yalign">0.5</property>
|
||
|
|
<property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkAlignment" id="alignment29">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xscale">1</property>
|
||
|
|
<property name="yscale">1</property>
|
||
|
|
<property name="top_padding">0</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>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkCheckButton" id="show_line_numbers">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="label" translatable="yes">Show line numbers</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_SHOW_LINE_NUMBERS" last_modification_time="Thu, 17 Mar 2005 18:08:17 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkHBox" id="hbox10">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkCheckButton" id="show_right_margin">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="label" translatable="yes">Show right margin at column </property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_SHOW_MARGIN" last_modification_time="Thu, 17 Mar 2005 18:08:34 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkSpinButton" id="show_right_margin_spin">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="climb_rate">1</property>
|
||
|
|
<property name="digits">0</property>
|
||
|
|
<property name="numeric">True</property>
|
||
|
|
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
|
||
|
|
<property name="snap_to_ticks">False</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="adjustment">1 1 100 1 10 10</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_MARGIN" last_modification_time="Thu, 17 Mar 2005 18:08:51 GMT"/>
|
||
|
|
<signal name="moo_sensitive" handler="show_right_margin" last_modification_time="Sat, 19 Mar 2005 05:38:11 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">True</property>
|
||
|
|
<property name="fill">True</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkLabel" id="label73">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">Misc</property>
|
||
|
|
<property name="use_underline">False</property>
|
||
|
|
<property name="use_markup">False</property>
|
||
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="selectable">False</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="type">label_item</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<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="label_xalign">0</property>
|
||
|
|
<property name="label_yalign">0.5</property>
|
||
|
|
<property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkAlignment" id="alignment38">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xscale">1</property>
|
||
|
|
<property name="yscale">1</property>
|
||
|
|
<property name="top_padding">0</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>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">3</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkNotebook" id="bracket_styles_notebook">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="show_tabs">True</property>
|
||
|
|
<property name="show_border">True</property>
|
||
|
|
<property name="tab_pos">GTK_POS_TOP</property>
|
||
|
|
<property name="scrollable">False</property>
|
||
|
|
<property name="enable_popup">False</property>
|
||
|
|
<signal name="moo_sensitive" handler="check_brackets" last_modification_time="Fri, 06 May 2005 23:35:45 GMT"/>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkVBox" id="vbox21">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkAlignment" id="alignment40">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xscale">1</property>
|
||
|
|
<property name="yscale">1</property>
|
||
|
|
<property name="top_padding">0</property>
|
||
|
|
<property name="bottom_padding">0</property>
|
||
|
|
<property name="left_padding">0</property>
|
||
|
|
<property name="right_padding">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkTable" id="table13">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="n_rows">2</property>
|
||
|
|
<property name="n_columns">4</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="row_spacing">0</property>
|
||
|
|
<property name="column_spacing">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkColorButton" id="bracket_correct_foreground">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="use_alpha">False</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_BRACKET_CORRECT_MATCH_FOREGROUND" object="bracket_correct_use_foreground" last_modification_time="Sat, 07 May 2005 14:16:48 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">1</property>
|
||
|
|
<property name="right_attach">2</property>
|
||
|
|
<property name="top_attach">0</property>
|
||
|
|
<property name="bottom_attach">1</property>
|
||
|
|
<property name="x_options"></property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkColorButton" id="bracket_correct_background">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="use_alpha">False</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_BRACKET_CORRECT_MATCH_BACKGROUND" object="bracket_correct_use_background" last_modification_time="Sat, 07 May 2005 14:16:57 GMT"/>
|
||
|
|
</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>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkCheckButton" id="bracket_correct_use_foreground">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="label" translatable="yes">Foreground: </property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">0</property>
|
||
|
|
<property name="right_attach">1</property>
|
||
|
|
<property name="top_attach">0</property>
|
||
|
|
<property name="bottom_attach">1</property>
|
||
|
|
<property name="x_options">fill</property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkCheckButton" id="bracket_correct_use_background">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="label" translatable="yes">Background: </property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">0</property>
|
||
|
|
<property name="right_attach">1</property>
|
||
|
|
<property name="top_attach">1</property>
|
||
|
|
<property name="bottom_attach">2</property>
|
||
|
|
<property name="x_options">fill</property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkToggleButton" id="bracket_correct_italic">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NONE</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_BRACKET_CORRECT_MATCH_ITALIC" last_modification_time="Fri, 06 May 2005 23:30:20 GMT"/>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkImage" id="image6">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="stock">gtk-italic</property>
|
||
|
|
<property name="icon_size">4</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">3</property>
|
||
|
|
<property name="right_attach">4</property>
|
||
|
|
<property name="top_attach">0</property>
|
||
|
|
<property name="bottom_attach">1</property>
|
||
|
|
<property name="x_options">fill</property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkToggleButton" id="bracket_correct_strikethrough">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NONE</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_BRACKET_CORRECT_MATCH_STRIKETHROUGH" last_modification_time="Fri, 06 May 2005 23:30:56 GMT"/>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkImage" id="image8">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="stock">gtk-strikethrough</property>
|
||
|
|
<property name="icon_size">4</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">3</property>
|
||
|
|
<property name="right_attach">4</property>
|
||
|
|
<property name="top_attach">1</property>
|
||
|
|
<property name="bottom_attach">2</property>
|
||
|
|
<property name="x_options">fill</property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkToggleButton" id="bracket_correct_underline">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NONE</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_BRACKET_CORRECT_MATCH_UNDERLINE" last_modification_time="Fri, 06 May 2005 23:30:37 GMT"/>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkImage" id="image7">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="stock">gtk-underline</property>
|
||
|
|
<property name="icon_size">4</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">2</property>
|
||
|
|
<property name="right_attach">3</property>
|
||
|
|
<property name="top_attach">1</property>
|
||
|
|
<property name="bottom_attach">2</property>
|
||
|
|
<property name="x_options"></property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkToggleButton" id="bracket_correct_bold">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NONE</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_BRACKET_CORRECT_MATCH_BOLD" last_modification_time="Fri, 06 May 2005 23:30:02 GMT"/>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkImage" id="image_9">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="stock">gtk-bold</property>
|
||
|
|
<property name="icon_size">4</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">2</property>
|
||
|
|
<property name="right_attach">3</property>
|
||
|
|
<property name="top_attach">0</property>
|
||
|
|
<property name="bottom_attach">1</property>
|
||
|
|
<property name="x_padding">12</property>
|
||
|
|
<property name="x_options"></property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="tab_expand">False</property>
|
||
|
|
<property name="tab_fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkLabel" id="label99">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">Correct Match</property>
|
||
|
|
<property name="use_underline">False</property>
|
||
|
|
<property name="use_markup">False</property>
|
||
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="selectable">False</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="type">tab</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkVBox" id="vbox22">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkAlignment" id="alignment41">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xscale">1</property>
|
||
|
|
<property name="yscale">1</property>
|
||
|
|
<property name="top_padding">0</property>
|
||
|
|
<property name="bottom_padding">0</property>
|
||
|
|
<property name="left_padding">0</property>
|
||
|
|
<property name="right_padding">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkTable" id="table14">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="n_rows">2</property>
|
||
|
|
<property name="n_columns">4</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="row_spacing">0</property>
|
||
|
|
<property name="column_spacing">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkColorButton" id="bracket_incorrect_foreground">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="use_alpha">False</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_BRACKET_INCORRECT_MATCH_FOREGROUND" object="bracket_incorrect_use_foreground" last_modification_time="Sat, 07 May 2005 14:16:30 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">1</property>
|
||
|
|
<property name="right_attach">2</property>
|
||
|
|
<property name="top_attach">0</property>
|
||
|
|
<property name="bottom_attach">1</property>
|
||
|
|
<property name="x_options"></property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkColorButton" id="bracket_incorrect_background">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="use_alpha">False</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_BRACKET_INCORRECT_MATCH_BACKGROUND" object="bracket_incorrect_use_background" last_modification_time="Sat, 07 May 2005 14:16:38 GMT"/>
|
||
|
|
</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>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkCheckButton" id="bracket_incorrect_use_foreground">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="label" translatable="yes">Foreground: </property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">0</property>
|
||
|
|
<property name="right_attach">1</property>
|
||
|
|
<property name="top_attach">0</property>
|
||
|
|
<property name="bottom_attach">1</property>
|
||
|
|
<property name="x_options">fill</property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkCheckButton" id="bracket_incorrect_use_background">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="label" translatable="yes">Background: </property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">0</property>
|
||
|
|
<property name="right_attach">1</property>
|
||
|
|
<property name="top_attach">1</property>
|
||
|
|
<property name="bottom_attach">2</property>
|
||
|
|
<property name="x_options">fill</property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkToggleButton" id="bracket_incorrect_italic">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NONE</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_BRACKET_INCORRECT_MATCH_ITALIC" last_modification_time="Fri, 06 May 2005 23:31:43 GMT"/>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkImage" id="image10">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="stock">gtk-italic</property>
|
||
|
|
<property name="icon_size">4</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">3</property>
|
||
|
|
<property name="right_attach">4</property>
|
||
|
|
<property name="top_attach">0</property>
|
||
|
|
<property name="bottom_attach">1</property>
|
||
|
|
<property name="x_options">fill</property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkToggleButton" id="bracket_incorrect_strikethrough">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NONE</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_BRACKET_INCORRECT_MATCH_STRIKETHROUGH" last_modification_time="Fri, 06 May 2005 23:32:15 GMT"/>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkImage" id="image12">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="stock">gtk-strikethrough</property>
|
||
|
|
<property name="icon_size">4</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">3</property>
|
||
|
|
<property name="right_attach">4</property>
|
||
|
|
<property name="top_attach">1</property>
|
||
|
|
<property name="bottom_attach">2</property>
|
||
|
|
<property name="x_options">fill</property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkToggleButton" id="bracket_incorrect_bold">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NONE</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_BRACKET_INCORRECT_MATCH_BOLD" last_modification_time="Fri, 06 May 2005 23:31:27 GMT"/>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkImage" id="image9">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="stock">gtk-bold</property>
|
||
|
|
<property name="icon_size">4</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">2</property>
|
||
|
|
<property name="right_attach">3</property>
|
||
|
|
<property name="top_attach">0</property>
|
||
|
|
<property name="bottom_attach">1</property>
|
||
|
|
<property name="x_padding">12</property>
|
||
|
|
<property name="x_options">fill</property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkToggleButton" id="bracket_incorrect_underline">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NONE</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_BRACKET_INCORRECT_MATCH_UNDERLINE" last_modification_time="Fri, 06 May 2005 23:31:58 GMT"/>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkImage" id="image11">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="stock">gtk-underline</property>
|
||
|
|
<property name="icon_size">4</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">2</property>
|
||
|
|
<property name="right_attach">3</property>
|
||
|
|
<property name="top_attach">1</property>
|
||
|
|
<property name="bottom_attach">2</property>
|
||
|
|
<property name="x_options"></property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">True</property>
|
||
|
|
<property name="fill">True</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="tab_expand">False</property>
|
||
|
|
<property name="tab_fill">True</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkLabel" id="label100">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">Incorrect Match</property>
|
||
|
|
<property name="use_underline">False</property>
|
||
|
|
<property name="use_markup">False</property>
|
||
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="selectable">False</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="type">tab</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkCheckButton" id="check_brackets">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="label" translatable="yes">Highlight matching brackets</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_CHECK_BRACKETS" last_modification_time="Thu, 17 Mar 2005 18:09:15 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="type">label_item</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="tab_expand">False</property>
|
||
|
|
<property name="tab_fill">True</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkLabel" id="label62">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">View</property>
|
||
|
|
<property name="use_underline">False</property>
|
||
|
|
<property name="use_markup">False</property>
|
||
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="selectable">False</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="type">tab</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkVBox" id="vbox15">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkFrame" id="frame20">
|
||
|
|
<property name="border_width">3</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label_xalign">0</property>
|
||
|
|
<property name="label_yalign">0.5</property>
|
||
|
|
<property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkAlignment" id="alignment30">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xscale">1</property>
|
||
|
|
<property name="yscale">1</property>
|
||
|
|
<property name="top_padding">0</property>
|
||
|
|
<property name="bottom_padding">3</property>
|
||
|
|
<property name="left_padding">3</property>
|
||
|
|
<property name="right_padding">3</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkVBox" id="vbox16">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkCheckButton" id="use_default_font">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="label" translatable="yes">Use default theme font</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_USE_DEFAULT_FONT" last_modification_time="Thu, 17 Mar 2005 18:09:47 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkHBox" id="font_hbox">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">0</property>
|
||
|
|
<signal name="moo_sensitive" handler="use_default_font" object="invert" last_modification_time="Sat, 19 Mar 2005 06:31:54 GMT"/>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkLabel" id="label79">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">Editor font: </property>
|
||
|
|
<property name="use_underline">False</property>
|
||
|
|
<property name="use_markup">False</property>
|
||
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="selectable">False</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
<property name="mnemonic_widget">font</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkFontButton" id="font">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="show_style">True</property>
|
||
|
|
<property name="show_size">True</property>
|
||
|
|
<property name="use_font">True</property>
|
||
|
|
<property name="use_size">True</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_FONT" last_modification_time="Thu, 17 Mar 2005 18:10:06 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">True</property>
|
||
|
|
<property name="fill">True</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">True</property>
|
||
|
|
<property name="fill">True</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkLabel" id="label78">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">Font</property>
|
||
|
|
<property name="use_underline">False</property>
|
||
|
|
<property name="use_markup">False</property>
|
||
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="selectable">False</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="type">label_item</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkFrame" id="frame21">
|
||
|
|
<property name="border_width">3</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label_xalign">0</property>
|
||
|
|
<property name="label_yalign">0.5</property>
|
||
|
|
<property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkAlignment" id="alignment31">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xscale">1</property>
|
||
|
|
<property name="yscale">1</property>
|
||
|
|
<property name="top_padding">0</property>
|
||
|
|
<property name="bottom_padding">3</property>
|
||
|
|
<property name="left_padding">3</property>
|
||
|
|
<property name="right_padding">3</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkVBox" id="vbox17">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkCheckButton" id="use_default_colors">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="label" translatable="yes">Use default theme colors</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_USE_DEFAULT_COLORS" last_modification_time="Thu, 17 Mar 2005 18:10:24 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkTable" id="text_colors_table">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="n_rows">4</property>
|
||
|
|
<property name="n_columns">2</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="row_spacing">0</property>
|
||
|
|
<property name="column_spacing">0</property>
|
||
|
|
<signal name="moo_sensitive" handler="use_default_colors" object="invert" last_modification_time="Sat, 19 Mar 2005 06:38:44 GMT"/>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkLabel" id="label82">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">Text color: </property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="use_markup">False</property>
|
||
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="selectable">False</property>
|
||
|
|
<property name="xalign">0</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
<property name="mnemonic_widget">text_color</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">0</property>
|
||
|
|
<property name="right_attach">1</property>
|
||
|
|
<property name="top_attach">0</property>
|
||
|
|
<property name="bottom_attach">1</property>
|
||
|
|
<property name="x_options">fill</property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkLabel" id="label83">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">Background color: </property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="use_markup">False</property>
|
||
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="selectable">False</property>
|
||
|
|
<property name="xalign">0</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
<property name="mnemonic_widget">text_background_color</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">0</property>
|
||
|
|
<property name="right_attach">1</property>
|
||
|
|
<property name="top_attach">1</property>
|
||
|
|
<property name="bottom_attach">2</property>
|
||
|
|
<property name="x_options">fill</property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkColorButton" id="text_color">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="use_alpha">False</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_FOREGROUND" last_modification_time="Thu, 17 Mar 2005 18:10:49 GMT"/>
|
||
|
|
<signal name="moo_sensitive" handler="use_default_colors" object="invert" last_modification_time="Sat, 19 Mar 2005 06:38:57 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">1</property>
|
||
|
|
<property name="right_attach">2</property>
|
||
|
|
<property name="top_attach">0</property>
|
||
|
|
<property name="bottom_attach">1</property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkColorButton" id="text_background_color">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="use_alpha">False</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_BACKGROUND" last_modification_time="Thu, 17 Mar 2005 18:11:04 GMT"/>
|
||
|
|
<signal name="moo_sensitive" handler="use_default_colors" object="invert" last_modification_time="Sat, 19 Mar 2005 06:39:16 GMT"/>
|
||
|
|
</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="GtkLabel" id="label84">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">Selected text color: </property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="use_markup">False</property>
|
||
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="selectable">False</property>
|
||
|
|
<property name="xalign">0</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
<property name="mnemonic_widget">selected_text_color</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">0</property>
|
||
|
|
<property name="right_attach">1</property>
|
||
|
|
<property name="top_attach">2</property>
|
||
|
|
<property name="bottom_attach">3</property>
|
||
|
|
<property name="x_options">fill</property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkLabel" id="label85">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">Selection color: </property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="use_markup">False</property>
|
||
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="selectable">False</property>
|
||
|
|
<property name="xalign">0</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
<property name="mnemonic_widget">selection_color</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">0</property>
|
||
|
|
<property name="right_attach">1</property>
|
||
|
|
<property name="top_attach">3</property>
|
||
|
|
<property name="bottom_attach">4</property>
|
||
|
|
<property name="x_options">fill</property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkColorButton" id="selected_text_color">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="use_alpha">False</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_SELECTED_FOREGROUND" last_modification_time="Thu, 17 Mar 2005 18:11:40 GMT"/>
|
||
|
|
<signal name="moo_sensitive" handler="use_default_colors" object="invert" last_modification_time="Sat, 19 Mar 2005 06:39:28 GMT"/>
|
||
|
|
</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="x_options">fill</property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkColorButton" id="selection_color">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="use_alpha">False</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_SELECTED_BACKGROUND" last_modification_time="Thu, 17 Mar 2005 18:12:01 GMT"/>
|
||
|
|
<signal name="moo_sensitive" handler="use_default_colors" object="invert" last_modification_time="Sat, 19 Mar 2005 06:39:40 GMT"/>
|
||
|
|
</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="x_options">fill</property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">True</property>
|
||
|
|
<property name="fill">True</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkLabel" id="label81">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">Colors</property>
|
||
|
|
<property name="use_underline">False</property>
|
||
|
|
<property name="use_markup">False</property>
|
||
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="selectable">False</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="type">label_item</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkFrame" id="frame22">
|
||
|
|
<property name="border_width">3</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label_xalign">0</property>
|
||
|
|
<property name="label_yalign">0.5</property>
|
||
|
|
<property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkAlignment" id="alignment32">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xscale">1</property>
|
||
|
|
<property name="yscale">1</property>
|
||
|
|
<property name="top_padding">0</property>
|
||
|
|
<property name="bottom_padding">3</property>
|
||
|
|
<property name="left_padding">3</property>
|
||
|
|
<property name="right_padding">3</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkVBox" id="vbox18">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkCheckButton" id="highlight_current_line">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="label" translatable="yes">Highlight current line</property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_HIGHLIGHT_CURRENT_LINE" last_modification_time="Thu, 17 Mar 2005 18:12:26 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkColorButton" id="highlight_current_line_color">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="use_alpha">False</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_HIGHLIGHT_CURRENT_LINE_COLOR" last_modification_time="Thu, 17 Mar 2005 18:12:45 GMT"/>
|
||
|
|
<signal name="moo_sensitive" handler="highlight_current_line" last_modification_time="Sat, 19 Mar 2005 06:42:58 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkLabel" id="label90">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">Current Line</property>
|
||
|
|
<property name="use_underline">False</property>
|
||
|
|
<property name="use_markup">False</property>
|
||
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="selectable">False</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="type">label_item</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="tab_expand">False</property>
|
||
|
|
<property name="tab_fill">True</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkLabel" id="label61">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">Font and Colors</property>
|
||
|
|
<property name="use_underline">False</property>
|
||
|
|
<property name="use_markup">False</property>
|
||
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="selectable">False</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="type">tab</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkFrame" id="frame23">
|
||
|
|
<property name="border_width">3</property>
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label_xalign">0</property>
|
||
|
|
<property name="label_yalign">0.5</property>
|
||
|
|
<property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkAlignment" id="alignment33">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xscale">1</property>
|
||
|
|
<property name="yscale">1</property>
|
||
|
|
<property name="top_padding">0</property>
|
||
|
|
<property name="bottom_padding">3</property>
|
||
|
|
<property name="left_padding">3</property>
|
||
|
|
<property name="right_padding">3</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkVBox" id="syntax_highlighting_vbox">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">0</property>
|
||
|
|
<signal name="moo_sensitive" handler="use_syntax_highlighting" last_modification_time="Sat, 19 Mar 2005 06:46:08 GMT"/>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkHBox" id="hbox7">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkLabel" id="label93">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">Highlight mode: </property>
|
||
|
|
<property name="use_underline">False</property>
|
||
|
|
<property name="use_markup">False</property>
|
||
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="selectable">False</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
<property name="mnemonic_widget">language_combo</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkComboBox" id="language_combo">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="items" translatable="yes"></property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">True</property>
|
||
|
|
<property name="fill">True</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkFrame" id="frame24">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label_xalign">0</property>
|
||
|
|
<property name="label_yalign">0.5</property>
|
||
|
|
<property name="shadow_type">GTK_SHADOW_NONE</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkAlignment" id="alignment34">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xscale">1</property>
|
||
|
|
<property name="yscale">1</property>
|
||
|
|
<property name="top_padding">6</property>
|
||
|
|
<property name="bottom_padding">0</property>
|
||
|
|
<property name="left_padding">3</property>
|
||
|
|
<property name="right_padding">3</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkHBox" id="hbox8">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkScrolledWindow" id="scrolledwindow1">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
|
||
|
|
<property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
|
||
|
|
<property name="shadow_type">GTK_SHADOW_IN</property>
|
||
|
|
<property name="window_placement">GTK_CORNER_TOP_LEFT</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkTreeView" id="styles_list">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="headers_visible">False</property>
|
||
|
|
<property name="rules_hint">False</property>
|
||
|
|
<property name="reorderable">False</property>
|
||
|
|
<property name="enable_search">False</property>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">True</property>
|
||
|
|
<property name="fill">True</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkVBox" id="style_vbox">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">0</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkAlignment" id="alignment35">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xscale">1</property>
|
||
|
|
<property name="yscale">1</property>
|
||
|
|
<property name="top_padding">12</property>
|
||
|
|
<property name="bottom_padding">12</property>
|
||
|
|
<property name="left_padding">12</property>
|
||
|
|
<property name="right_padding">6</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkHBox" id="hbox9">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="spacing">12</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkToggleButton" id="bold">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NONE</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkImage" id="image1">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="stock">gtk-bold</property>
|
||
|
|
<property name="icon_size">4</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkToggleButton" id="italic">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NONE</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkImage" id="image2">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="stock">gtk-italic</property>
|
||
|
|
<property name="icon_size">4</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkToggleButton" id="underline">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NONE</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkImage" id="image3">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="stock">gtk-underline</property>
|
||
|
|
<property name="icon_size">4</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkToggleButton" id="strikethrough">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NONE</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkImage" id="image4">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="stock">gtk-strikethrough</property>
|
||
|
|
<property name="icon_size">4</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkAlignment" id="alignment36">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xscale">1</property>
|
||
|
|
<property name="yscale">1</property>
|
||
|
|
<property name="top_padding">12</property>
|
||
|
|
<property name="bottom_padding">12</property>
|
||
|
|
<property name="left_padding">12</property>
|
||
|
|
<property name="right_padding">12</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkTable" id="table12">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="n_rows">2</property>
|
||
|
|
<property name="n_columns">2</property>
|
||
|
|
<property name="homogeneous">False</property>
|
||
|
|
<property name="row_spacing">0</property>
|
||
|
|
<property name="column_spacing">6</property>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkColorButton" id="foreground_color">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="use_alpha">False</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<signal name="moo_sensitive" handler="foreground_toggle" last_modification_time="Sat, 19 Mar 2005 06:45:36 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">1</property>
|
||
|
|
<property name="right_attach">2</property>
|
||
|
|
<property name="top_attach">0</property>
|
||
|
|
<property name="bottom_attach">1</property>
|
||
|
|
<property name="x_options"></property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkColorButton" id="background_color">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="use_alpha">False</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<signal name="moo_sensitive" handler="background_toggle" last_modification_time="Sat, 19 Mar 2005 06:45:48 GMT"/>
|
||
|
|
</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>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkCheckButton" id="foreground_toggle">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="label" translatable="yes">Foreground: </property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">0</property>
|
||
|
|
<property name="right_attach">1</property>
|
||
|
|
<property name="top_attach">0</property>
|
||
|
|
<property name="bottom_attach">1</property>
|
||
|
|
<property name="x_options">fill</property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkCheckButton" id="background_toggle">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="label" translatable="yes">Background: </property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="left_attach">0</property>
|
||
|
|
<property name="right_attach">1</property>
|
||
|
|
<property name="top_attach">1</property>
|
||
|
|
<property name="bottom_attach">2</property>
|
||
|
|
<property name="x_options">fill</property>
|
||
|
|
<property name="y_options"></property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">False</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<placeholder/>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">False</property>
|
||
|
|
<property name="fill">True</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="padding">0</property>
|
||
|
|
<property name="expand">True</property>
|
||
|
|
<property name="fill">True</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkCheckButton" id="use_syntax_highlighting">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="tooltip" translatable="yes">Highlight syntax with colors in editor</property>
|
||
|
|
<property name="can_focus">True</property>
|
||
|
|
<property name="label" translatable="yes">Use Highlighting </property>
|
||
|
|
<property name="use_underline">True</property>
|
||
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
||
|
|
<property name="focus_on_click">False</property>
|
||
|
|
<property name="active">False</property>
|
||
|
|
<property name="inconsistent">False</property>
|
||
|
|
<property name="draw_indicator">True</property>
|
||
|
|
<signal name="moo_prefs_key" handler="MOO_EDIT_PREFS_USE_SYNTAX_HIGHLIGHTING" last_modification_time="Thu, 17 Mar 2005 18:13:24 GMT"/>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="type">label_item</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="tab_expand">False</property>
|
||
|
|
<property name="tab_fill">True</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
|
||
|
|
<child>
|
||
|
|
<widget class="GtkLabel" id="label92">
|
||
|
|
<property name="visible">True</property>
|
||
|
|
<property name="label" translatable="yes">Syntax Highlighting</property>
|
||
|
|
<property name="use_underline">False</property>
|
||
|
|
<property name="use_markup">False</property>
|
||
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
||
|
|
<property name="wrap">False</property>
|
||
|
|
<property name="selectable">False</property>
|
||
|
|
<property name="xalign">0.5</property>
|
||
|
|
<property name="yalign">0.5</property>
|
||
|
|
<property name="xpad">0</property>
|
||
|
|
<property name="ypad">0</property>
|
||
|
|
</widget>
|
||
|
|
<packing>
|
||
|
|
<property name="type">tab</property>
|
||
|
|
</packing>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
</child>
|
||
|
|
</widget>
|
||
|
|
|
||
|
|
</glade-interface>
|