955 lines
37 KiB
XML
955 lines
37 KiB
XML
<?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">window1</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="GtkVBox" id="page">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">0</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="smart_home_end" last_modification_time="Wed, 14 Sep 2005 09:40:47 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="usespaces">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Use spaces to 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="spaces_instead_of_tabs" last_modification_time="Wed, 14 Sep 2005 09:41:18 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">3</property>
|
|
<signal name="moo_sensitive" handler="usespaces" last_modification_time="Thu, 08 Dec 2005 03:50:41 GMT"/>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label32">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Tab key inserts</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">4 1 100 1 10 10</property>
|
|
<signal name="moo_prefs_key" handler="indent_width" last_modification_time="Thu, 08 Dec 2005 14:12:42 GMT"/>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label96">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">spaces</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="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="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="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="auto_save" last_modification_time="Wed, 14 Sep 2005 09:42:58 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="auto_save_interval" last_modification_time="Wed, 14 Sep 2005 09:43:08 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>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="checkbutton1">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Make backups</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
|
<property name="focus_on_click">True</property>
|
|
<property name="active">False</property>
|
|
<property name="inconsistent">False</property>
|
|
<property name="draw_indicator">True</property>
|
|
<signal name="moo_prefs_key" handler="make_backups" last_modification_time="Thu, 08 Dec 2005 14:13:29 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="checkbutton2">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Remove trailing spaces</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
|
<property name="focus_on_click">True</property>
|
|
<property name="active">False</property>
|
|
<property name="inconsistent">False</property>
|
|
<property name="draw_indicator">True</property>
|
|
<signal name="moo_prefs_key" handler="strip" last_modification_time="Thu, 08 Dec 2005 14:13:46 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="label95">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Saving</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">True</property>
|
|
<property name="active">False</property>
|
|
<property name="inconsistent">False</property>
|
|
<property name="draw_indicator">True</property>
|
|
<signal name="moo_prefs_key" handler="wrapping_enable" last_modification_time="Wed, 14 Sep 2005 09:43:32 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">True</property>
|
|
<property name="active">False</property>
|
|
<property name="inconsistent">False</property>
|
|
<property name="draw_indicator">True</property>
|
|
<signal name="moo_prefs_key" handler="wrapping_dont_split_words" last_modification_time="Wed, 14 Sep 2005 09:43:46 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="frame26">
|
|
<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="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">0</property>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="checkbutton5">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Enable syntax highlighting</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
|
<property name="focus_on_click">True</property>
|
|
<property name="active">False</property>
|
|
<property name="inconsistent">False</property>
|
|
<property name="draw_indicator">True</property>
|
|
<signal name="moo_prefs_key" handler="enable_highlighting" last_modification_time="Thu, 08 Dec 2005 16:30:11 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="checkbutton6">
|
|
<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">True</property>
|
|
<property name="active">False</property>
|
|
<property name="inconsistent">False</property>
|
|
<property name="draw_indicator">True</property>
|
|
<signal name="moo_prefs_key" handler="highlight_matching_brackets" last_modification_time="Thu, 08 Dec 2005 14:16:58 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="checkbutton7">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Highlight mismatching brackets</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
|
<property name="focus_on_click">True</property>
|
|
<property name="active">False</property>
|
|
<property name="inconsistent">False</property>
|
|
<property name="draw_indicator">True</property>
|
|
<signal name="moo_prefs_key" handler="highlight_mismatching_brackets" last_modification_time="Thu, 08 Dec 2005 14:17:09 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="checkbutton9">
|
|
<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">True</property>
|
|
<property name="active">False</property>
|
|
<property name="inconsistent">False</property>
|
|
<property name="draw_indicator">True</property>
|
|
<signal name="moo_prefs_key" handler="highlight_current_line" last_modification_time="Thu, 08 Dec 2005 16:30:32 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="label98">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">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">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">True</property>
|
|
<property name="active">False</property>
|
|
<property name="inconsistent">False</property>
|
|
<property name="draw_indicator">True</property>
|
|
<signal name="moo_prefs_key" handler="show_line_numbers" last_modification_time="Wed, 14 Sep 2005 09:44:01 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="checkbutton3">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Show tabs</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
|
<property name="focus_on_click">True</property>
|
|
<property name="active">False</property>
|
|
<property name="inconsistent">False</property>
|
|
<property name="draw_indicator">True</property>
|
|
<signal name="moo_prefs_key" handler="show_tabs" last_modification_time="Thu, 08 Dec 2005 14:17:21 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="checkbutton4">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Show trailing spaces</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
|
<property name="focus_on_click">True</property>
|
|
<property name="active">False</property>
|
|
<property name="inconsistent">False</property>
|
|
<property name="draw_indicator">True</property>
|
|
<signal name="moo_prefs_key" handler="show_trailing_spaces" last_modification_time="Thu, 08 Dec 2005 14:17:33 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="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>
|
|
</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="vbox21">
|
|
<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">True</property>
|
|
<property name="active">False</property>
|
|
<property name="inconsistent">False</property>
|
|
<property name="draw_indicator">True</property>
|
|
<signal name="moo_prefs_key" handler="use_default_font" last_modification_time="Thu, 08 Dec 2005 14:17:50 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="table1">
|
|
<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">0</property>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label99">
|
|
<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>
|
|
<signal name="moo_sensitive" handler="use_default_font" object="invert" last_modification_time="Thu, 08 Dec 2005 14:18:41 GMT"/>
|
|
</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="GtkFontButton" id="fontbutton1">
|
|
<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">True</property>
|
|
<signal name="moo_prefs_key" handler="font" last_modification_time="Thu, 08 Dec 2005 14:18:12 GMT"/>
|
|
<signal name="moo_sensitive" handler="use_default_font" object="invert" last_modification_time="Thu, 08 Dec 2005 14:18:55 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="GtkLabel" id="label100">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Color scheme:</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</property>
|
|
<property name="yalign">0.5</property>
|
|
<property name="xpad">0</property>
|
|
<property name="ypad">0</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="GtkComboBox" id="color_scheme_combo">
|
|
<property name="visible">True</property>
|
|
<property name="items" translatable="yes">KDE
|
|
gvim
|
|
</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">2</property>
|
|
<property name="top_attach">1</property>
|
|
<property name="bottom_attach">2</property>
|
|
<property name="x_options">fill</property>
|
|
<property name="y_options">fill</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</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="label97">
|
|
<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>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">True</property>
|
|
<property name="fill">True</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
|
|
</glade-interface>
|