6571 lines
261 KiB
XML
6571 lines
261 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="window1">
|
|
<property name="visible">True</property>
|
|
<property name="title" translatable="yes">Geany</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="icon_name"></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>
|
|
<property name="focus_on_map">True</property>
|
|
<accessibility>
|
|
<atkproperty name="AtkObject::accessible_name" translatable="yes">Geany</atkproperty>
|
|
</accessibility>
|
|
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox1">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">0</property>
|
|
|
|
<child>
|
|
<widget class="GtkMenuBar" id="menubar1">
|
|
<property name="visible">True</property>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menuitem1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_File</property>
|
|
<property name="use_underline">True</property>
|
|
|
|
<child>
|
|
<widget class="GtkMenu" id="menuitem1_menu">
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_new1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-new</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_new1_activate" last_modification_time="Thu, 02 Jun 2005 14:19:43 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_new_with_template1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">New (with _Template)</property>
|
|
<property name="use_underline">True</property>
|
|
|
|
<child internal-child="image">
|
|
<widget class="GtkImage" id="image1381">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-new</property>
|
|
<property name="icon_size">1</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>
|
|
|
|
<child>
|
|
<widget class="GtkMenu" id="menu_new_with_template1_menu">
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="invisible2">
|
|
<property name="label" translatable="yes">invisible</property>
|
|
<property name="use_underline">True</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator12">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_open1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-open</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_open1_activate" last_modification_time="Thu, 02 Jun 2005 14:19:43 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="recent_files1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Recent _Files</property>
|
|
<property name="use_underline">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator13">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_save1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-save</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_save1_activate" last_modification_time="Thu, 02 Jun 2005 14:15:30 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_save_as1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-save-as</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_save_as1_activate" last_modification_time="Thu, 02 Jun 2005 14:15:30 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_save_all1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Saves all open files</property>
|
|
<property name="label" translatable="yes">Save A_ll</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_save_all1_activate" last_modification_time="Thu, 02 Jun 2005 14:15:30 GMT"/>
|
|
|
|
<child internal-child="image">
|
|
<widget class="GtkImage" id="image1382">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-save</property>
|
|
<property name="icon_size">1</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>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_reload1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Reload</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_toolbutton23_clicked" last_modification_time="Mon, 24 Jul 2006 19:26:04 GMT"/>
|
|
|
|
<child internal-child="image">
|
|
<widget class="GtkImage" id="image1383">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-revert-to-saved</property>
|
|
<property name="icon_size">1</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>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_reload_as1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">R_eload As</property>
|
|
<property name="use_underline">True</property>
|
|
|
|
<child internal-child="image">
|
|
<widget class="GtkImage" id="image1384">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-revert-to-saved</property>
|
|
<property name="icon_size">1</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>
|
|
|
|
<child>
|
|
<widget class="GtkMenu" id="menu_reload_as1_menu">
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="invisible7">
|
|
<property name="label" translatable="yes">invisible</property>
|
|
<property name="use_underline">True</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator21">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="preferences2">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-properties</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_file_properties_activate" last_modification_time="Sun, 12 Feb 2006 21:13:09 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator24">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="print1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Prints the current file</property>
|
|
<property name="label">gtk-print</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_print1_activate" last_modification_time="Thu, 29 Jun 2006 12:48:54 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator14">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_close1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-close</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_close1_activate" last_modification_time="Thu, 02 Jun 2005 14:15:30 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_close_all1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Closes all open files</property>
|
|
<property name="label" translatable="yes">C_lose All</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_close_all1_activate" last_modification_time="Thu, 02 Jun 2005 14:15:30 GMT"/>
|
|
|
|
<child internal-child="image">
|
|
<widget class="GtkImage" id="image1385">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-close</property>
|
|
<property name="icon_size">1</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>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="menu_separatormenuitem1">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_quit1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Quit Geany</property>
|
|
<property name="label">gtk-quit</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_quit1_activate" last_modification_time="Thu, 02 Jun 2005 14:15:30 GMT"/>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="edit1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Edit</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_edit1_activate" last_modification_time="Thu, 09 Jun 2005 11:39:53 GMT"/>
|
|
|
|
<child>
|
|
<widget class="GtkMenu" id="edit1_menu">
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_undo2">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-undo</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_undo1_activate" last_modification_time="Sat, 30 Apr 2005 21:52:06 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_redo2">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-redo</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_redo1_activate" last_modification_time="Sat, 30 Apr 2005 21:52:06 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="menu_seperator1">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_cut1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-cut</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_cut1_activate" last_modification_time="Sat, 30 Apr 2005 21:52:06 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_copy1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-copy</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_copy1_activate" last_modification_time="Sat, 30 Apr 2005 21:52:06 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_paste1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-paste</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_paste1_activate" last_modification_time="Sat, 30 Apr 2005 21:52:06 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_delete1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-delete</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_delete1_activate" last_modification_time="Sat, 30 Apr 2005 21:52:06 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="menu_seperator2">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_select_all1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Select _All</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_menu_select_all1_activate" last_modification_time="Fri, 30 Jun 2006 13:25:08 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator25">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_format1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Convert the case of the current selection</property>
|
|
<property name="label" translatable="yes">_Format</property>
|
|
<property name="use_underline">True</property>
|
|
|
|
<child>
|
|
<widget class="GtkMenu" id="menu_format1_menu">
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_to_lower_case2">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Convert Selection to _Lower-case</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_to_lower-case1_activate" last_modification_time="Fri, 06 May 2005 18:21:23 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_to_upper_case2">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Convert Selection to _Upper-case</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_to_upper-case1_activate" last_modification_time="Fri, 06 May 2005 18:21:23 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator28">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_comment_line1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Comment Line(s)</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_menu_comment_line1_activate" last_modification_time="Tue, 01 Aug 2006 10:28:54 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_uncomment_line1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">U_ncomment Line(s)</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_menu_uncomment_line1_activate" last_modification_time="Tue, 01 Aug 2006 10:28:54 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_toggle_line_commentation1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Toggle Line Commentation</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_menu_toggle_line_commentation1_activate" last_modification_time="Tue, 12 Sep 2006 08:06:46 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_duplicate_line1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Du_plicate Line or Selection</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_menu_duplicate_line1_activate" last_modification_time="Tue, 01 Aug 2006 10:28:54 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator29">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_increase_indent1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Increase Indent</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_menu_increase_indent1_activate" last_modification_time="Tue, 01 Aug 2006 10:28:54 GMT"/>
|
|
|
|
<child internal-child="image">
|
|
<widget class="GtkImage" id="image1386">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-indent</property>
|
|
<property name="icon_size">1</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>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_decrease_indent1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Decrease Indent</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_menu_decrease_indent1_activate" last_modification_time="Tue, 01 Aug 2006 10:28:54 GMT"/>
|
|
|
|
<child internal-child="image">
|
|
<widget class="GtkImage" id="image1387">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-unindent</property>
|
|
<property name="icon_size">1</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>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator18">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="insert_include2">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Insert "include <...>"</property>
|
|
<property name="use_underline">True</property>
|
|
|
|
<child internal-child="image">
|
|
<widget class="GtkImage" id="image1388">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-add</property>
|
|
<property name="icon_size">1</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>
|
|
|
|
<child>
|
|
<widget class="GtkMenu" id="insert_include2_menu">
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="invisible4">
|
|
<property name="label" translatable="yes">invisible</property>
|
|
<property name="use_underline">True</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="add_comments1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">I_nsert Comments</property>
|
|
<property name="use_underline">True</property>
|
|
|
|
<child internal-child="image">
|
|
<widget class="GtkImage" id="image1389">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-add</property>
|
|
<property name="icon_size">1</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>
|
|
|
|
<child>
|
|
<widget class="GtkMenu" id="add_comments1_menu">
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_add_changelog_entry1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Inserts a typical ChangeLog entry in the current file</property>
|
|
<property name="label" translatable="yes">Insert ChangeLog Entry</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_comments_changelog_activate" last_modification_time="Sun, 02 Oct 2005 17:29:39 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="insert_file_header1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Inserts a file header at the beginning of the file</property>
|
|
<property name="label" translatable="yes">Insert File Header</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_comments_fileheader_activate" last_modification_time="Mon, 03 Oct 2005 17:33:08 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="insert_function_description2">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Inserts a description before the current function</property>
|
|
<property name="label" translatable="yes">Insert Function Description</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_comments_function_activate" last_modification_time="Sat, 01 Oct 2005 17:35:15 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="insert_multiline_comment2">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Inserts a multiline comment</property>
|
|
<property name="label" translatable="yes">Insert Multiline Comment</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_menu_comments_multiline_activate" last_modification_time="Sun, 17 Dec 2006 19:01:32 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="insert_gpl_notice2">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Inserts a GPL notice (should be done at the beginning of the file)</property>
|
|
<property name="label" translatable="yes">Insert GPL Notice</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_menu_comments_gpl_activate" last_modification_time="Sun, 17 Dec 2006 19:01:32 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="insert_bsd_license_notice2">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Inserts a BSD licence notice (should be done at the beginning of the file)</property>
|
|
<property name="label" translatable="yes">Insert BSD license Notice</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_menu_comments_bsd_activate" last_modification_time="Fri, 05 Jan 2007 13:29:27 GMT"/>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="insert_date1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Insert Dat_e</property>
|
|
<property name="use_underline">True</property>
|
|
|
|
<child>
|
|
<widget class="GtkMenu" id="insert_date1_menu">
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="invisible8">
|
|
<property name="label" translatable="yes">invisible</property>
|
|
<property name="use_underline">True</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator9">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="preferences1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-preferences</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_preferences1_activate" last_modification_time="Wed, 08 Jun 2005 11:35:19 GMT"/>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="search1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Search</property>
|
|
<property name="use_underline">True</property>
|
|
|
|
<child>
|
|
<widget class="GtkMenu" id="search1_menu">
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="find1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-find</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_find1_activate" last_modification_time="Thu, 16 Jun 2005 18:40:58 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="find_next1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Find _Next</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_find_next1_activate" last_modification_time="Thu, 16 Jun 2005 18:40:58 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="find_previous1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Find _Previous</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_find_previous1_activate" last_modification_time="Tue, 23 May 2006 17:10:49 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="find_in_files1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Find in F_iles</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_find_in_files1_activate" last_modification_time="Thu, 06 Jul 2006 11:31:09 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="replace1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Replace</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_replace1_activate" last_modification_time="Sun, 23 Oct 2005 13:22:36 GMT"/>
|
|
|
|
<child internal-child="image">
|
|
<widget class="GtkImage" id="image1390">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-find-and-replace</property>
|
|
<property name="icon_size">1</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>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator33">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="next_message1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Next _Message</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_next_message1_activate" last_modification_time="Tue, 05 Dec 2006 11:15:02 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator32">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="go_to_line1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Go to Line</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_go_to_line1_activate" last_modification_time="Tue, 23 May 2006 17:10:49 GMT"/>
|
|
|
|
<child internal-child="image">
|
|
<widget class="GtkImage" id="image1391">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-jump-to</property>
|
|
<property name="icon_size">1</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>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menuitem3">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_View</property>
|
|
<property name="use_underline">True</property>
|
|
|
|
<child>
|
|
<widget class="GtkMenu" id="menuitem3_menu">
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_change_font1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Change the default font</property>
|
|
<property name="label" translatable="yes">Change _Font</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_change_font1_activate" last_modification_time="Fri, 22 Apr 2005 18:58:45 GMT"/>
|
|
|
|
<child internal-child="image">
|
|
<widget class="GtkImage" id="image1392">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-select-font</property>
|
|
<property name="icon_size">1</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>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="menu_separator4">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckMenuItem" id="menu_fullscreen1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Full_screen</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="active">False</property>
|
|
<signal name="toggled" handler="on_fullscreen1_toggled" last_modification_time="Tue, 10 May 2005 18:34:16 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckMenuItem" id="menu_show_messages_window1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Toggle the window with status and compiler messages on and off</property>
|
|
<property name="label" translatable="yes">Show Message _Window</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="active">True</property>
|
|
<signal name="toggled" handler="on_show_messages_window1_toggled" last_modification_time="Sat, 28 May 2005 19:47:24 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckMenuItem" id="menu_show_toolbar1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Toggle the toolbar on and off</property>
|
|
<property name="label" translatable="yes">Show _Toolbar</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="active">True</property>
|
|
<signal name="toggled" handler="on_show_toolbar1_toggled" last_modification_time="Tue, 10 May 2005 18:32:35 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckMenuItem" id="menu_show_sidebar1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Show Side_bar</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="active">True</property>
|
|
<signal name="toggled" handler="on_menu_show_sidebar1_toggled" last_modification_time="Wed, 19 Jul 2006 20:17:35 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckMenuItem" id="menu_markers_margin1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Shows or hides the small margin right of the line numbers, which is used to mark lines.</property>
|
|
<property name="label" translatable="yes">Show _Markers Margin</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="active">True</property>
|
|
<signal name="toggled" handler="on_markers_margin1_toggled" last_modification_time="Tue, 10 May 2005 18:34:36 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckMenuItem" id="menu_linenumber_margin1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Shows or hides the Line Number margin.</property>
|
|
<property name="label" translatable="yes">Show _Line Numbers</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="active">True</property>
|
|
<signal name="toggled" handler="on_show_line_numbers1_toggled" last_modification_time="Mon, 13 Feb 2006 20:22:48 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="menu_separator5">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_zoom_in1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-zoom-in</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_zoom_in1_activate" last_modification_time="Sat, 30 Apr 2005 23:13:31 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_zoom_out1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-zoom-out</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_zoom_out1_activate" last_modification_time="Sat, 30 Apr 2005 23:13:31 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="normal_size1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-zoom-100</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_normal_size1_activate" last_modification_time="Wed, 08 Jun 2005 13:46:02 GMT"/>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_item4">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Document</property>
|
|
<property name="use_underline">True</property>
|
|
|
|
<child>
|
|
<widget class="GtkMenu" id="menu_item4_menu">
|
|
|
|
<child>
|
|
<widget class="GtkCheckMenuItem" id="menu_line_breaking1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Wrap the line at the window border and continue it on the next line. Note: line wrapping has a high performance cost for large documents so should be disabled on slow machines.</property>
|
|
<property name="label" translatable="yes">_Line Wrapping</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="active">True</property>
|
|
<signal name="toggled" handler="on_line_breaking1_toggled" last_modification_time="Sun, 04 Sep 2005 11:12:08 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckMenuItem" id="menu_use_auto_indention1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Use Auto-indentation</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="active">True</property>
|
|
<signal name="toggled" handler="on_use_auto_indention1_toggled" last_modification_time="Mon, 13 Feb 2006 21:27:30 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckMenuItem" id="set_file_readonly1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Treat this file as read-only. No changes can be made.</property>
|
|
<property name="label" translatable="yes">Read _Only</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="active">False</property>
|
|
<signal name="toggled" handler="on_set_file_readonly1_toggled" last_modification_time="Sat, 22 Oct 2005 17:34:04 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckMenuItem" id="menu_write_unicode_bom1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Write Unicode BOM</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="active">False</property>
|
|
<signal name="toggled" handler="on_menu_write_unicode_bom1_toggled" last_modification_time="Mon, 24 Jul 2006 19:30:07 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator10">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="set_filetype1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Set File_type</property>
|
|
<property name="use_underline">True</property>
|
|
|
|
<child>
|
|
<widget class="GtkMenu" id="set_filetype1_menu">
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="invisible1">
|
|
<property name="label" translatable="yes">invisible</property>
|
|
<property name="use_underline">True</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="set_encoding1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Set _Encoding</property>
|
|
<property name="use_underline">True</property>
|
|
|
|
<child>
|
|
<widget class="GtkMenu" id="set_encoding1_menu">
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="invisible6">
|
|
<property name="label" translatable="yes">invisible</property>
|
|
<property name="use_underline">True</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_line_endings1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Set Line E_ndings</property>
|
|
<property name="use_underline">True</property>
|
|
|
|
<child>
|
|
<widget class="GtkMenu" id="menu_line_endings1_menu">
|
|
|
|
<child>
|
|
<widget class="GtkRadioMenuItem" id="crlf">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Convert and Set to _CR/LF (Win)</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="active">True</property>
|
|
<signal name="activate" handler="on_crlf_activate" last_modification_time="Thu, 28 Apr 2005 16:27:24 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkRadioMenuItem" id="lf">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Convert and Set to _LF (Unix)</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="active">True</property>
|
|
<property name="group">crlf</property>
|
|
<signal name="activate" handler="on_lf_activate" last_modification_time="Thu, 28 Apr 2005 16:27:24 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkRadioMenuItem" id="cr">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Convert and Set to CR (_Mac)</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="active">True</property>
|
|
<property name="group">crlf</property>
|
|
<signal name="activate" handler="on_cr_activate" last_modification_time="Thu, 28 Apr 2005 16:27:24 GMT"/>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator8">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_replace_tabs">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Replaces all tabs in document by spaces.</property>
|
|
<property name="label" translatable="yes">_Replace Tabs by Spaces</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_replace_tabs_activate" last_modification_time="Fri, 29 Apr 2005 08:43:22 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator22">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_fold_all1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Folds all contractible code blocks</property>
|
|
<property name="label" translatable="yes">_Fold All</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_menu_fold_all1_activate" last_modification_time="Sun, 26 Feb 2006 15:42:32 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_unfold_all1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Unfolds all contracted code blocks</property>
|
|
<property name="label" translatable="yes">_Unfold All</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_menu_unfold_all1_activate" last_modification_time="Sun, 26 Feb 2006 15:42:32 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator23">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_remove_indicators1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Removes all error indicators in the current document.</property>
|
|
<property name="label" translatable="yes">Remove Error _Indicators</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_menu_remove_indicators1_activate" last_modification_time="Tue, 13 Jun 2006 19:25:23 GMT"/>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_build1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Build</property>
|
|
<property name="use_underline">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="tools1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Tools</property>
|
|
<property name="use_underline">True</property>
|
|
|
|
<child>
|
|
<widget class="GtkMenu" id="tools1_menu">
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_choose_color1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Open a color chooser dialog, to interactively pick colors from a palette.</property>
|
|
<property name="label" translatable="yes">_Colour Chooser</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_show_color_chooser1_activate" last_modification_time="Wed, 22 Jun 2005 18:10:21 GMT"/>
|
|
|
|
<child internal-child="image">
|
|
<widget class="GtkImage" id="image1393">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-select-color</property>
|
|
<property name="icon_size">1</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>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_count_words1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Counts the words and characters in the current selection or the whole document</property>
|
|
<property name="label" translatable="yes">_Word Count</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_count_words1_activate" last_modification_time="Mon, 06 Jun 2005 11:49:24 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_insert_special_chars1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Insert Special HTML Characters</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_menu_insert_special_chars1_activate" last_modification_time="Tue, 12 Dec 2006 22:03:01 GMT"/>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_item5">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Help</property>
|
|
<property name="use_underline">True</property>
|
|
|
|
<child>
|
|
<widget class="GtkMenu" id="menu_item5_menu">
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="help1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-help</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_help1_activate" last_modification_time="Sun, 24 Jul 2005 15:23:11 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="keyboard_shortcuts1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Shows a list of all keyboard shortcuts for Geany.</property>
|
|
<property name="label" translatable="yes">_Keyboard Shortcuts</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_help_shortcuts1_activate" last_modification_time="Sun, 18 Dec 2005 22:24:52 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="website1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Website</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_website1_activate" last_modification_time="Mon, 22 Aug 2005 17:57:15 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator16">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_info1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-about</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_info1_activate" last_modification_time="Fri, 22 Apr 2005 14:32:46 GMT"/>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</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="GtkToolbar" id="toolbar1">
|
|
<property name="visible">True</property>
|
|
<property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
|
|
<property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
|
|
<property name="tooltips">True</property>
|
|
<property name="show_arrow">True</property>
|
|
|
|
<child>
|
|
<widget class="GtkMenuToolButton" id="menutoolbutton1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Create a new file</property>
|
|
<property name="stock_id">gtk-new</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
<property name="is_important">False</property>
|
|
<signal name="clicked" handler="on_toolbutton_new_clicked" last_modification_time="Fri, 17 Feb 2006 17:37:56 GMT"/>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuToolButton" id="toolbutton9">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Open an existing file</property>
|
|
<property name="stock_id">gtk-open</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
<property name="is_important">False</property>
|
|
<signal name="clicked" handler="on_toolbutton9_clicked" last_modification_time="Wed, 20 Sep 2006 14:17:34 GMT"/>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkToolButton" id="toolbutton10">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Save the current file</property>
|
|
<property name="stock_id">gtk-save</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
<property name="is_important">False</property>
|
|
<signal name="clicked" handler="on_toolbutton10_clicked" last_modification_time="Fri, 22 Apr 2005 21:27:45 GMT"/>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkToolButton" id="toolbutton22">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Save all open files</property>
|
|
<property name="label" translatable="yes">Save all</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
<property name="is_important">False</property>
|
|
<signal name="clicked" handler="on_save_all1_activate" last_modification_time="Thu, 02 Jun 2005 14:20:04 GMT"/>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorToolItem" id="separatortoolitem7">
|
|
<property name="visible">True</property>
|
|
<property name="draw">True</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkToolButton" id="toolbutton23">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Reload the current file from disk</property>
|
|
<property name="stock_id">gtk-revert-to-saved</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
<property name="is_important">False</property>
|
|
<signal name="clicked" handler="on_toolbutton23_clicked" last_modification_time="Sun, 05 Jun 2005 19:01:28 GMT"/>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkToolButton" id="toolbutton15">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Close the current file</property>
|
|
<property name="stock_id">gtk-close</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
<property name="is_important">False</property>
|
|
<signal name="clicked" handler="on_toolbutton15_clicked" last_modification_time="Sat, 23 Apr 2005 11:34:26 GMT"/>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorToolItem" id="separatortoolitem2">
|
|
<property name="visible">True</property>
|
|
<property name="draw">True</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkToolButton" id="toolbutton_undo">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Undo the last modification</property>
|
|
<property name="stock_id">gtk-undo</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
<property name="is_important">False</property>
|
|
<signal name="clicked" handler="on_undo1_activate" last_modification_time="Mon, 10 Jul 2006 19:52:02 GMT"/>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkToolButton" id="toolbutton_redo">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Redo the last modification</property>
|
|
<property name="stock_id">gtk-redo</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
<property name="is_important">False</property>
|
|
<signal name="clicked" handler="on_redo1_activate" last_modification_time="Mon, 10 Jul 2006 19:52:14 GMT"/>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorToolItem" id="separatortoolitem9">
|
|
<property name="visible">True</property>
|
|
<property name="draw">True</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkToolButton" id="toolbutton13">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Compile the current file</property>
|
|
<property name="label" translatable="yes">Compile</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="stock_id">gtk-convert</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
<property name="is_important">False</property>
|
|
<signal name="clicked" handler="on_compile_button_clicked" last_modification_time="Sun, 21 Aug 2005 21:30:45 GMT"/>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkToolButton" id="toolbutton26">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Run or view the current file</property>
|
|
<property name="stock_id">gtk-execute</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
<property name="is_important">False</property>
|
|
<signal name="clicked" handler="on_run_button_clicked" last_modification_time="Mon, 20 Mar 2006 11:00:05 GMT"/>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorToolItem" id="separatortoolitem6">
|
|
<property name="visible">True</property>
|
|
<property name="draw">True</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkToolButton" id="toolbutton24">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Open a color chooser dialog, to interactively pick colors from a palette.</property>
|
|
<property name="label" translatable="yes">Color</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="stock_id">gtk-select-color</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
<property name="is_important">False</property>
|
|
<signal name="clicked" handler="on_show_color_chooser1_activate" last_modification_time="Sun, 20 Nov 2005 00:58:13 GMT"/>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorToolItem" id="separatortoolitem3">
|
|
<property name="visible">True</property>
|
|
<property name="draw">True</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkToolButton" id="toolbutton20">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Zoom in the text</property>
|
|
<property name="stock_id">gtk-zoom-in</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
<property name="is_important">False</property>
|
|
<signal name="clicked" handler="on_zoom_in1_activate" last_modification_time="Wed, 08 Jun 2005 13:51:03 GMT"/>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkToolButton" id="toolbutton21">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Zoom out the text</property>
|
|
<property name="stock_id">gtk-zoom-out</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
<property name="is_important">False</property>
|
|
<signal name="clicked" handler="on_zoom_out1_activate" last_modification_time="Wed, 08 Jun 2005 13:53:11 GMT"/>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorToolItem" id="separatortoolitem4">
|
|
<property name="visible">True</property>
|
|
<property name="draw">True</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkToolItem" id="toolitem18">
|
|
<property name="visible">True</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
<property name="is_important">False</property>
|
|
|
|
<child>
|
|
<widget class="GtkEntry" id="entry1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Find the entered text in the current file</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="editable">True</property>
|
|
<property name="visibility">True</property>
|
|
<property name="max_length">0</property>
|
|
<property name="text" translatable="yes"></property>
|
|
<property name="has_frame">True</property>
|
|
<property name="invisible_char">*</property>
|
|
<property name="activates_default">False</property>
|
|
<signal name="activate" handler="on_entry1_activate" last_modification_time="Sat, 30 Apr 2005 23:58:03 GMT"/>
|
|
<signal name="changed" handler="on_entry1_changed" last_modification_time="Tue, 03 May 2005 09:18:59 GMT"/>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkToolButton" id="toolbutton18">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Find the entered text in the current file</property>
|
|
<property name="stock_id">gtk-find</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
<property name="is_important">False</property>
|
|
<signal name="clicked" handler="on_toolbutton18_clicked" last_modification_time="Sat, 30 Apr 2005 18:38:53 GMT"/>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorToolItem" id="separatortoolitem5">
|
|
<property name="visible">True</property>
|
|
<property name="draw">True</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkToolItem" id="toolitem17">
|
|
<property name="visible">True</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
<property name="is_important">False</property>
|
|
|
|
<child>
|
|
<widget class="GtkEntry" id="entry_goto_line">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Enter a line number and jump to it.</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="editable">True</property>
|
|
<property name="visibility">True</property>
|
|
<property name="max_length">5</property>
|
|
<property name="text" translatable="yes"></property>
|
|
<property name="has_frame">True</property>
|
|
<property name="invisible_char">*</property>
|
|
<property name="activates_default">False</property>
|
|
<property name="width_chars">8</property>
|
|
<signal name="activate" handler="on_entry_goto_line_activate" last_modification_time="Sun, 26 Feb 2006 17:07:52 GMT"/>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkToolButton" id="toolbutton25">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Jump to the entered line number.</property>
|
|
<property name="stock_id">gtk-jump-to</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
<property name="is_important">False</property>
|
|
<signal name="clicked" handler="on_toolbutton_goto_clicked" last_modification_time="Sun, 26 Feb 2006 17:06:53 GMT"/>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorToolItem" id="separatortoolitem8">
|
|
<property name="visible">True</property>
|
|
<property name="draw">False</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkToolButton" id="toolbutton19">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Quit Geany</property>
|
|
<property name="stock_id">gtk-quit</property>
|
|
<property name="visible_horizontal">True</property>
|
|
<property name="visible_vertical">True</property>
|
|
<property name="is_important">False</property>
|
|
<signal name="clicked" handler="on_toolbutton19_clicked" last_modification_time="Sat, 30 Apr 2005 18:42:07 GMT"/>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">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="GtkVPaned" id="vpaned1">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="position">400</property>
|
|
|
|
<child>
|
|
<widget class="GtkHPaned" id="hpaned1">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="position">167</property>
|
|
|
|
<child>
|
|
<widget class="GtkNotebook" id="notebook3">
|
|
<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">True</property>
|
|
<property name="enable_popup">False</property>
|
|
<signal name="switch_page" handler="on_tv_notebook_switch_page" last_modification_time="Sun, 20 Nov 2005 00:41:15 GMT"/>
|
|
|
|
<child>
|
|
<widget class="GtkScrolledWindow" id="scrolledwindow2">
|
|
<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="treeview2">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="headers_visible">True</property>
|
|
<property name="rules_hint">False</property>
|
|
<property name="reorderable">False</property>
|
|
<property name="enable_search">False</property>
|
|
<property name="fixed_height_mode">False</property>
|
|
<property name="hover_selection">False</property>
|
|
<property name="hover_expand">False</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="tab_expand">False</property>
|
|
<property name="tab_fill">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label135">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Symbols</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="type">tab</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkScrolledWindow" id="scrolledwindow7">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
|
|
<property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
|
|
<property name="shadow_type">GTK_SHADOW_IN</property>
|
|
<property name="window_placement">GTK_CORNER_TOP_LEFT</property>
|
|
|
|
<child>
|
|
<widget class="GtkTreeView" id="treeview6">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="headers_visible">True</property>
|
|
<property name="rules_hint">False</property>
|
|
<property name="reorderable">False</property>
|
|
<property name="enable_search">True</property>
|
|
<property name="fixed_height_mode">False</property>
|
|
<property name="hover_selection">False</property>
|
|
<property name="hover_expand">False</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="tab_expand">False</property>
|
|
<property name="tab_fill">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label136">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Open files</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="type">tab</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="shrink">True</property>
|
|
<property name="resize">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkNotebook" id="notebook1">
|
|
<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">True</property>
|
|
<property name="enable_popup">True</property>
|
|
<signal name="switch_page" handler="on_notebook1_switch_page" last_modification_time="Sat, 23 Apr 2005 15:17:51 GMT"/>
|
|
<signal name="switch_page" handler="on_notebook1_switch_page_after" after="yes" last_modification_time="Fri, 26 May 2006 11:47:25 GMT"/>
|
|
</widget>
|
|
<packing>
|
|
<property name="shrink">True</property>
|
|
<property name="resize">True</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="shrink">True</property>
|
|
<property name="resize">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkScrolledWindow" id="scrolledwindow1">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
|
|
<property name="vscrollbar_policy">GTK_POLICY_NEVER</property>
|
|
<property name="shadow_type">GTK_SHADOW_IN</property>
|
|
<property name="window_placement">GTK_CORNER_TOP_LEFT</property>
|
|
|
|
<child>
|
|
<widget class="GtkViewport" id="viewport1">
|
|
<property name="visible">True</property>
|
|
<property name="shadow_type">GTK_SHADOW_IN</property>
|
|
|
|
<child>
|
|
<widget class="GtkNotebook" id="notebook_info">
|
|
<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_LEFT</property>
|
|
<property name="scrollable">False</property>
|
|
<property name="enable_popup">False</property>
|
|
|
|
<child>
|
|
<widget class="GtkScrolledWindow" id="scrolledwindow4">
|
|
<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_NONE</property>
|
|
<property name="window_placement">GTK_CORNER_TOP_LEFT</property>
|
|
|
|
<child>
|
|
<widget class="GtkTreeView" id="treeview3">
|
|
<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">True</property>
|
|
<property name="fixed_height_mode">False</property>
|
|
<property name="hover_selection">False</property>
|
|
<property name="hover_expand">False</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="tab_expand">False</property>
|
|
<property name="tab_fill">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="notebook_info_label_status">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Status</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="type">tab</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkScrolledWindow" id="scrolledwindow3">
|
|
<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_NONE</property>
|
|
<property name="window_placement">GTK_CORNER_TOP_LEFT</property>
|
|
|
|
<child>
|
|
<widget class="GtkTreeView" id="treeview5">
|
|
<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">True</property>
|
|
<property name="fixed_height_mode">False</property>
|
|
<property name="hover_selection">False</property>
|
|
<property name="hover_expand">False</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="tab_expand">False</property>
|
|
<property name="tab_fill">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="notebook_info_label_compiler">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Compiler</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="type">tab</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkScrolledWindow" id="scrolledwindow5">
|
|
<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_NONE</property>
|
|
<property name="window_placement">GTK_CORNER_TOP_LEFT</property>
|
|
|
|
<child>
|
|
<widget class="GtkTreeView" id="treeview4">
|
|
<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">True</property>
|
|
<property name="fixed_height_mode">False</property>
|
|
<property name="hover_selection">False</property>
|
|
<property name="hover_expand">False</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="tab_expand">False</property>
|
|
<property name="tab_fill">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="notebook_info_label_msg">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Messages</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="type">tab</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkScrolledWindow" id="scrolledwindow6">
|
|
<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_NONE</property>
|
|
<property name="window_placement">GTK_CORNER_TOP_LEFT</property>
|
|
|
|
<child>
|
|
<widget class="GtkTextView" id="textview_scribble">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="editable">True</property>
|
|
<property name="overwrite">False</property>
|
|
<property name="accepts_tab">True</property>
|
|
<property name="justification">GTK_JUSTIFY_LEFT</property>
|
|
<property name="wrap_mode">GTK_WRAP_NONE</property>
|
|
<property name="cursor_visible">True</property>
|
|
<property name="pixels_above_lines">0</property>
|
|
<property name="pixels_below_lines">0</property>
|
|
<property name="pixels_inside_wrap">0</property>
|
|
<property name="left_margin">0</property>
|
|
<property name="right_margin">0</property>
|
|
<property name="indent">0</property>
|
|
<property name="text" translatable="yes"></property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="tab_expand">False</property>
|
|
<property name="tab_fill">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="notebook_info_label_scribble">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Scribble</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="type">tab</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="shrink">True</property>
|
|
<property name="resize">True</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">True</property>
|
|
<property name="fill">True</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="GtkStatusbar" id="statusbar">
|
|
<property name="visible">True</property>
|
|
<property name="has_resize_grip">True</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">True</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
|
|
<widget class="GtkMenu" id="toolbar_popup_menu1">
|
|
|
|
<child>
|
|
<widget class="GtkRadioMenuItem" id="images_and_text2">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Images and text</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="active">True</property>
|
|
<signal name="activate" handler="on_images_and_text2_activate" last_modification_time="Sat, 30 Apr 2005 19:42:24 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkRadioMenuItem" id="images_only2">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Images only</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="active">True</property>
|
|
<property name="group">images_and_text2</property>
|
|
<signal name="activate" handler="on_images_only2_activate" last_modification_time="Sat, 30 Apr 2005 19:42:29 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkRadioMenuItem" id="text_only2">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Text only</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="active">True</property>
|
|
<property name="group">images_and_text2</property>
|
|
<signal name="activate" handler="on_text_only2_activate" last_modification_time="Sat, 30 Apr 2005 19:42:33 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator1">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkRadioMenuItem" id="large_icons1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Large icons</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="active">False</property>
|
|
<signal name="activate" handler="on_toolbar_large_icons1_activate" last_modification_time="Sat, 22 Oct 2005 11:52:26 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkRadioMenuItem" id="small_icons1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Small icons</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="active">False</property>
|
|
<property name="group">large_icons1</property>
|
|
<signal name="activate" handler="on_toolbar_small_icons1_activate" last_modification_time="Sat, 22 Oct 2005 11:52:26 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator20">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="hide_toolbar1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Hide toolbar</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_hide_toolbar1_activate" last_modification_time="Sat, 30 Apr 2005 20:23:03 GMT"/>
|
|
|
|
<child internal-child="image">
|
|
<widget class="GtkImage" id="image800">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-cancel</property>
|
|
<property name="icon_size">1</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>
|
|
</child>
|
|
</widget>
|
|
|
|
<widget class="GtkMenu" id="edit_menu1">
|
|
<property name="visible">True</property>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="undo1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-undo</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_undo1_activate" last_modification_time="Sat, 30 Apr 2005 21:47:27 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="redo1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-redo</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_redo1_activate" last_modification_time="Sat, 30 Apr 2005 21:47:27 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator2">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="cut1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-cut</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_cut1_activate" last_modification_time="Sat, 30 Apr 2005 21:47:27 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="copy1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-copy</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_copy1_activate" last_modification_time="Sat, 30 Apr 2005 21:47:27 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="paste1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-paste</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_paste1_activate" last_modification_time="Sat, 30 Apr 2005 21:47:27 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="delete1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-delete</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_delete1_activate" last_modification_time="Sat, 30 Apr 2005 21:47:27 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator3">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_select_all2">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Select _All</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_menu_select_all1_activate" last_modification_time="Fri, 30 Jun 2006 13:35:07 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator26">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="zoom_in1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-zoom-in</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_zoom_in1_activate" last_modification_time="Sat, 30 Apr 2005 23:12:43 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="zoom_out1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-zoom-out</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_zoom_out1_activate" last_modification_time="Sat, 30 Apr 2005 23:12:43 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="normal_size2">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-zoom-100</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_normal_size1_activate" last_modification_time="Wed, 08 Jun 2005 13:49:20 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator6">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_format2">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Format</property>
|
|
<property name="use_underline">True</property>
|
|
|
|
<child>
|
|
<widget class="GtkMenu" id="menu_format2_menu">
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="to_lower_case1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Convert Selection to _Lower-case</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_to_lower-case1_activate" last_modification_time="Thu, 05 May 2005 08:29:19 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="to_upper_case1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Convert Selection to _Upper-case</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_to_upper-case1_activate" last_modification_time="Thu, 05 May 2005 08:29:19 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator30">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_comment_line2">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Comment Line(s)</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_menu_comment_line1_activate" last_modification_time="Tue, 01 Aug 2006 10:31:38 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_uncomment_line2">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">U_ncomment Line(s)</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_menu_uncomment_line1_activate" last_modification_time="Tue, 01 Aug 2006 10:31:38 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_toggle_line_commentation2">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Toggle Line Commentation</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_menu_toggle_line_commentation1_activate" last_modification_time="Tue, 12 Sep 2006 08:07:58 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_duplicate_line2">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Du_plicate Line or Selection</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_menu_duplicate_line1_activate" last_modification_time="Tue, 01 Aug 2006 10:31:38 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator31">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_increase_indent2">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Increase Indent</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_menu_increase_indent1_activate" last_modification_time="Tue, 01 Aug 2006 10:31:38 GMT"/>
|
|
|
|
<child internal-child="image">
|
|
<widget class="GtkImage" id="image1394">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-indent</property>
|
|
<property name="icon_size">1</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>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="menu_decrease_indent2">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">_Decrease Indent</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_menu_decrease_indent1_activate" last_modification_time="Tue, 01 Aug 2006 10:31:38 GMT"/>
|
|
|
|
<child internal-child="image">
|
|
<widget class="GtkImage" id="image1395">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-unindent</property>
|
|
<property name="icon_size">1</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>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator17">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="insert_include1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Insert "include <...>"</property>
|
|
<property name="use_underline">True</property>
|
|
|
|
<child internal-child="image">
|
|
<widget class="GtkImage" id="image1396">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-add</property>
|
|
<property name="icon_size">1</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>
|
|
|
|
<child>
|
|
<widget class="GtkMenu" id="insert_include1_menu">
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="invisible3">
|
|
<property name="label" translatable="yes">invisible</property>
|
|
<property name="use_underline">True</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="comments">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Insert Comments</property>
|
|
<property name="use_underline">True</property>
|
|
|
|
<child internal-child="image">
|
|
<widget class="GtkImage" id="image1397">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-add</property>
|
|
<property name="icon_size">1</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>
|
|
|
|
<child>
|
|
<widget class="GtkMenu" id="comments_menu">
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="add_changelog_entry2">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Inserts a typical ChangeLog entry in the current file</property>
|
|
<property name="label" translatable="yes">Insert ChangeLog Entry</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_comments_changelog_activate" last_modification_time="Sun, 02 Oct 2005 17:30:10 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="insert_file_header2">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Inserts a file header at the beginning of the file</property>
|
|
<property name="label" translatable="yes">Insert File Header</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_comments_fileheader_activate" last_modification_time="Mon, 03 Oct 2005 17:33:08 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="insert_function_description1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Inserts a description before the current function</property>
|
|
<property name="label" translatable="yes">Insert Function Description</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_comments_function_activate" last_modification_time="Sat, 01 Oct 2005 17:28:26 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="insert_multiline_comment1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Inserts a multiline comment</property>
|
|
<property name="label" translatable="yes">Insert Multiline Comment</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_comments_multiline_activate" last_modification_time="Sat, 01 Oct 2005 17:28:26 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="insert_gpl_notice1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Inserts a GPL notice (should be done at the beginning of the file)</property>
|
|
<property name="label" translatable="yes">Insert GPL Notice</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_comments_gpl_activate" last_modification_time="Sun, 02 Oct 2005 17:37:31 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="insert_bsd_license_notice1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Inserts a BSD licence notice (should be done at the beginning of the file)</property>
|
|
<property name="label" translatable="yes">Insert BSD license Notice</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_comments_bsd_activate" last_modification_time="Fri, 05 Jan 2007 13:32:16 GMT"/>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="insert_date2">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Insert Dat_e</property>
|
|
<property name="use_underline">True</property>
|
|
|
|
<child>
|
|
<widget class="GtkMenu" id="insert_date2_menu">
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="invisible10">
|
|
<property name="label" translatable="yes">invisible</property>
|
|
<property name="use_underline">True</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator7">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="find_usage1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Find Usage</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_find_usage1_activate" last_modification_time="Fri, 27 May 2005 21:55:12 GMT"/>
|
|
|
|
<child internal-child="image">
|
|
<widget class="GtkImage" id="image1398">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-find</property>
|
|
<property name="icon_size">1</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>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="goto_tag_definition1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Go to Tag Definition</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_goto_tag_activate" last_modification_time="Sun, 29 May 2005 22:08:28 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="goto_tag_declaration1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Go to Tag Declaration</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_goto_tag_activate" last_modification_time="Sun, 29 May 2005 22:08:28 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator15">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="go_to_line">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Goto to the entered line</property>
|
|
<property name="label" translatable="yes">Go to Line</property>
|
|
<property name="use_underline">True</property>
|
|
<signal name="activate" handler="on_go_to_line_activate" last_modification_time="Sat, 16 Jul 2005 11:20:32 GMT"/>
|
|
|
|
<child internal-child="image">
|
|
<widget class="GtkImage" id="image1399">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-jump-to</property>
|
|
<property name="icon_size">1</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>
|
|
</child>
|
|
</widget>
|
|
|
|
<widget class="GtkDialog" id="prefs_dialog">
|
|
<property name="visible">True</property>
|
|
<property name="title" translatable="yes">Preferences</property>
|
|
<property name="type">GTK_WINDOW_TOPLEVEL</property>
|
|
<property name="window_position">GTK_WIN_POS_NONE</property>
|
|
<property name="modal">True</property>
|
|
<property name="resizable">True</property>
|
|
<property name="destroy_with_parent">False</property>
|
|
<property name="decorated">True</property>
|
|
<property name="skip_taskbar_hint">True</property>
|
|
<property name="skip_pager_hint">True</property>
|
|
<property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
|
|
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
|
|
<property name="focus_on_map">True</property>
|
|
<property name="has_separator">True</property>
|
|
|
|
<child internal-child="vbox">
|
|
<widget class="GtkVBox" id="dialog-vbox3">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">0</property>
|
|
|
|
<child internal-child="action_area">
|
|
<widget class="GtkHButtonBox" id="dialog-action_area3">
|
|
<property name="visible">True</property>
|
|
<property name="layout_style">GTK_BUTTONBOX_END</property>
|
|
|
|
<child>
|
|
<widget class="GtkButton" id="button3">
|
|
<property name="visible">True</property>
|
|
<property name="can_default">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label">gtk-apply</property>
|
|
<property name="use_stock">True</property>
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
|
<property name="focus_on_click">True</property>
|
|
<property name="response_id">-10</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkButton" id="button4">
|
|
<property name="visible">True</property>
|
|
<property name="can_default">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label">gtk-cancel</property>
|
|
<property name="use_stock">True</property>
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
|
<property name="focus_on_click">True</property>
|
|
<property name="response_id">-6</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkButton" id="button5">
|
|
<property name="visible">True</property>
|
|
<property name="can_default">True</property>
|
|
<property name="has_default">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label">gtk-ok</property>
|
|
<property name="use_stock">True</property>
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
|
<property name="focus_on_click">True</property>
|
|
<property name="response_id">-5</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
<property name="pack_type">GTK_PACK_END</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkNotebook" id="notebook2">
|
|
<property name="visible">True</property>
|
|
<property name="show_tabs">True</property>
|
|
<property name="show_border">True</property>
|
|
<property name="tab_pos">GTK_POS_LEFT</property>
|
|
<property name="scrollable">False</property>
|
|
<property name="enable_popup">False</property>
|
|
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox20">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">10</property>
|
|
|
|
<child>
|
|
<widget class="GtkFrame" id="frame10">
|
|
<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="alignment13">
|
|
<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">12</property>
|
|
<property name="right_padding">0</property>
|
|
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox4">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">2</property>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_load_session">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Opens at startup the files from the last session</property>
|
|
<property name="label" translatable="yes">Load files from the last session</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_save_win_pos">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Saves the window position and geometry and restores it at the start</property>
|
|
<property name="label" translatable="yes">Save window position and geometry</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_vte">
|
|
<property name="tooltip" translatable="yes">Whether the virtual terminal emulation(VTE) should be loaded at startup. Disable it if you do not need it.</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Load virtual terminal emulation at startup</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_ask_for_quit">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Shows a confirmation dialog on exit.</property>
|
|
<property name="label" translatable="yes">Confirm exit</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label162">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes"><b>Startup and shutdown</b></property>
|
|
<property name="use_underline">False</property>
|
|
<property name="use_markup">True</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">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">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkFrame" id="frame19">
|
|
<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="alignment22">
|
|
<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">12</property>
|
|
<property name="right_padding">0</property>
|
|
|
|
<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="check_beep">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Whether to beep if an error occured or when the compilation process has finished.</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Beep on errors or when compilation has finished</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_switch_pages">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Switch to the status message tab (in the notebook window at the bottom) if a new status message arrives.</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Switch to status message list at new message</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_ask_suppress_search_dialogs">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Always wrap search around the document and hide the Find dialog after clicking Find Next/Previous</property>
|
|
<property name="label" translatable="yes">Always wrap search and hide the Find dialog</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label178">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes"><b>Behaviour</b></property>
|
|
<property name="use_underline">False</property>
|
|
<property name="use_markup">True</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">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">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="label94">
|
|
<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>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="type">tab</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox14">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">10</property>
|
|
|
|
<child>
|
|
<widget class="GtkFrame" id="frame7">
|
|
<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="alignment9">
|
|
<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">12</property>
|
|
<property name="right_padding">0</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="GtkCheckButton" id="check_list_symbol">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Toggle the symbol list on and off</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Show symbol list</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_list_openfiles">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Toggle the symbol list on and off</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Show open files list</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label146">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes"><b>Sidebar</b></property>
|
|
<property name="use_underline">False</property>
|
|
<property name="use_markup">True</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">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">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkFrame" id="frame4">
|
|
<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="alignment5">
|
|
<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">12</property>
|
|
<property name="right_padding">6</property>
|
|
|
|
<child>
|
|
<widget class="GtkTable" id="table2">
|
|
<property name="visible">True</property>
|
|
<property name="n_rows">3</property>
|
|
<property name="n_columns">2</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="row_spacing">3</property>
|
|
<property name="column_spacing">25</property>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label100">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Symbol list:</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>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">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="GtkLabel" id="label101">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Message window:</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>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</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="label103">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Editor:</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>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</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="GtkFontButton" id="msgwin_font">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Sets the font for the message window</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="show_style">False</property>
|
|
<property name="show_size">True</property>
|
|
<property name="use_font">False</property>
|
|
<property name="use_size">False</property>
|
|
<property name="focus_on_click">True</property>
|
|
</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="GtkFontButton" id="tagbar_font">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Sets the font for the symbol list</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="show_style">False</property>
|
|
<property name="show_size">True</property>
|
|
<property name="use_font">False</property>
|
|
<property name="use_size">False</property>
|
|
<property name="focus_on_click">True</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="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkFontButton" id="editor_font">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Sets the editor font</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="show_style">True</property>
|
|
<property name="show_size">True</property>
|
|
<property name="use_font">False</property>
|
|
<property name="use_size">False</property>
|
|
<property name="focus_on_click">True</property>
|
|
</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">fill</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label99">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes"><b>Fonts</b></property>
|
|
<property name="use_underline">False</property>
|
|
<property name="use_markup">True</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">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">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkFrame" id="frame9">
|
|
<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="alignment12">
|
|
<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">12</property>
|
|
<property name="right_padding">0</property>
|
|
|
|
<child>
|
|
<widget class="GtkTable" id="table8">
|
|
<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">3</property>
|
|
<property name="column_spacing">25</property>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label161">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Sidebar:</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>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</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="label160">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Message window:</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>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</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="GtkLabel" id="label159">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Editor:</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>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">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="GtkCheckButton" id="check_show_notebook_tabs">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Show editor 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>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">0</property>
|
|
<property name="right_attach">2</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="GtkComboBox" id="combo_tab_msgwin">
|
|
<property name="visible">True</property>
|
|
<property name="items" translatable="yes">Left
|
|
Right
|
|
Top
|
|
Bottom
|
|
</property>
|
|
<property name="add_tearoffs">False</property>
|
|
<property name="focus_on_click">True</property>
|
|
</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">fill</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkComboBox" id="combo_tab_sidebar">
|
|
<property name="visible">True</property>
|
|
<property name="items" translatable="yes">Left
|
|
Right
|
|
Top
|
|
Bottom
|
|
</property>
|
|
<property name="add_tearoffs">False</property>
|
|
<property name="focus_on_click">True</property>
|
|
</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">fill</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkComboBox" id="combo_tab_editor">
|
|
<property name="visible">True</property>
|
|
<property name="items" translatable="yes">Left
|
|
Right
|
|
Top
|
|
Bottom
|
|
</property>
|
|
<property name="add_tearoffs">False</property>
|
|
<property name="focus_on_click">True</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>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label158">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes"><b>Tab placement</b></property>
|
|
<property name="use_underline">False</property>
|
|
<property name="use_markup">True</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">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">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="label157">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Interface</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">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">10</property>
|
|
|
|
<child>
|
|
<widget class="GtkFrame" id="frame12">
|
|
<property name="visible">True</property>
|
|
<property name="label_xalign">0.5</property>
|
|
<property name="label_yalign">0.5</property>
|
|
<property name="shadow_type">GTK_SHADOW_NONE</property>
|
|
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment15">
|
|
<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">12</property>
|
|
<property name="right_padding">0</property>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_toolbar_show">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Show Toolbar</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>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label166">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes"></property>
|
|
<property name="use_underline">False</property>
|
|
<property name="use_markup">True</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">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="frame11">
|
|
<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="alignment14">
|
|
<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">12</property>
|
|
<property name="right_padding">0</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="check_toolbar_fileops">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Display the New, Open, Close, Save and Reload buttons in the toolbar</property>
|
|
<property name="label" translatable="yes">Show file operation buttons</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_toolbar_compile">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Display the Compile and Run buttons in the toolbar</property>
|
|
<property name="label" translatable="yes">Show Compile and Run</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_toolbar_colour">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Display the Colour Chooser button in the toolbar</property>
|
|
<property name="label" translatable="yes">Show Colour Chooser button</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_toolbar_zoom">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Display the Zoom In and Zoom Out buttons in the toolbar</property>
|
|
<property name="label" translatable="yes">Show Zoom In and Zoom Out</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_toolbar_undo">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Display the Redo and Undo buttons in the toolbar</property>
|
|
<property name="label" translatable="yes">Show Redo and Undo buttons</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_toolbar_search">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Display the search field and button in the toolbar</property>
|
|
<property name="label" translatable="yes">Show Search field</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_toolbar_goto">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Display the line number field and button in the toolbar</property>
|
|
<property name="label" translatable="yes">Show Goto line field</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_toolbar_quit">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Display the quit button in the toolbar</property>
|
|
<property name="label" translatable="yes">Show Quit button</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label165">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes"><b>Items</b></property>
|
|
<property name="use_underline">False</property>
|
|
<property name="use_markup">True</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">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="frame13">
|
|
<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="alignment16">
|
|
<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">12</property>
|
|
<property name="right_padding">0</property>
|
|
|
|
<child>
|
|
<widget class="GtkTable" id="table9">
|
|
<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">3</property>
|
|
<property name="column_spacing">12</property>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label169">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Icon style:</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>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</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="label170">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Icon size:</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>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">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="GtkRadioButton" id="radio_toolbar_imagetext">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Images and text</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>
|
|
</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">fill</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkRadioButton" id="radio_toolbar_small">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Small icons</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>
|
|
</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">fill</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkRadioButton" id="radio_toolbar_large">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Large icons</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>
|
|
<property name="group">radio_toolbar_small</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"></property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkRadioButton" id="radio_toolbar_text">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Text only</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>
|
|
<property name="group">radio_toolbar_imagetext</property>
|
|
</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="GtkRadioButton" id="radio_toolbar_image">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Images only</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>
|
|
<property name="group">radio_toolbar_imagetext</property>
|
|
</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_options">fill</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label167">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes"><b>Appearance</b></property>
|
|
<property name="use_underline">False</property>
|
|
<property name="use_markup">True</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">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="label164">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Toolbar</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="type">tab</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox18">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">10</property>
|
|
|
|
<child>
|
|
<widget class="GtkFrame" id="frame6">
|
|
<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="alignment7">
|
|
<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">12</property>
|
|
<property name="right_padding">0</property>
|
|
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox8">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">3</property>
|
|
|
|
<child>
|
|
<widget class="GtkTable" id="table5">
|
|
<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">3</property>
|
|
<property name="column_spacing">25</property>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label116">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Tab 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</property>
|
|
<property name="yalign">0.5</property>
|
|
<property name="xpad">0</property>
|
|
<property name="ypad">0</property>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">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="GtkEventBox" id="eventbox1">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Sets the default encoding for newly created files.</property>
|
|
<property name="visible_window">True</property>
|
|
<property name="above_child">False</property>
|
|
|
|
<child>
|
|
<widget class="GtkComboBox" id="combo_encoding">
|
|
<property name="visible">True</property>
|
|
<property name="add_tearoffs">False</property>
|
|
<property name="focus_on_click">True</property>
|
|
</widget>
|
|
</child>
|
|
</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">fill</property>
|
|
<property name="y_options">fill</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSpinButton" id="spin_tab_width">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">The width in chars, which one tab character will take</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_IF_VALID</property>
|
|
<property name="snap_to_ticks">False</property>
|
|
<property name="wrap">True</property>
|
|
<property name="adjustment">-1 1 99 1 10 10</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"></property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label153">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Default encoding:</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</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>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label109">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes"><b>New files</b></property>
|
|
<property name="use_underline">False</property>
|
|
<property name="use_markup">True</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">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">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkFrame" id="frame2">
|
|
<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="alignment3">
|
|
<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">12</property>
|
|
<property name="right_padding">0</property>
|
|
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox6">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">0</property>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_trailing_spaces">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Removes trailing spaces and tabs and the end of lines</property>
|
|
<property name="label" translatable="yes">Strip trailing spaces</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_new_line">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Ensures that at the end of the file is a new line</property>
|
|
<property name="label" translatable="yes">Ensure new line at file 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>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_replace_tabs">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Replaces all tabs in document by spaces.</property>
|
|
<property name="label" translatable="yes">Replace tabs by space</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label19">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes"><b>Saving files</b></property>
|
|
<property name="use_underline">False</property>
|
|
<property name="use_markup">True</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">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">True</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_NONE</property>
|
|
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment20">
|
|
<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">12</property>
|
|
<property name="right_padding">0</property>
|
|
|
|
<child>
|
|
<widget class="GtkTable" id="table10">
|
|
<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">3</property>
|
|
<property name="column_spacing">25</property>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label150">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Placement of new file tabs:</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>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</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="GtkSpinButton" id="spin_mru">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Specifies the number of files which are stored in the Recent files list.</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">True</property>
|
|
<property name="adjustment">4 1 50 1 10 10</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"></property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkHBox" id="hbox3">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">12</property>
|
|
|
|
<child>
|
|
<widget class="GtkRadioButton" id="radio_tab_left">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">File tabs will be placed on the left of the notebook</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Left</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
|
<property name="focus_on_click">True</property>
|
|
<property name="active">True</property>
|
|
<property name="inconsistent">False</property>
|
|
<property name="draw_indicator">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkRadioButton" id="radio_tab_right">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">File tabs will be placed on the right of the notebook</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Right</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>
|
|
<property name="group">radio_tab_left</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
</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">fill</property>
|
|
<property name="y_options">fill</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label147">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Recent files list length:</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">7</property>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">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>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label176">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes"><b>Misc.</b></property>
|
|
<property name="use_underline">False</property>
|
|
<property name="use_markup">True</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">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">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="label174">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Files</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="type">tab</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox5">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">10</property>
|
|
|
|
<child>
|
|
<widget class="GtkFrame" id="frame5">
|
|
<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="alignment6">
|
|
<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">5</property>
|
|
<property name="left_padding">12</property>
|
|
<property name="right_padding">6</property>
|
|
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox12">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">0</property>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="checkbutton1">
|
|
<property name="tooltip" translatable="yes">Use white text on a black background.</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Invert syntax highlighting colours</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>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_indent">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Shows small dotted lines to help you to use the right indentation.</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Show indentation guides</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_white_space">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Marks spaces with dots and tabs with arrows.</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Show white space</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_line_end">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Show the line ending character</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Show line endings</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label102">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes"><b>Display</b></property>
|
|
<property name="use_underline">False</property>
|
|
<property name="use_markup">True</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">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">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkFrame" id="frame8">
|
|
<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="alignment11">
|
|
<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">12</property>
|
|
<property name="right_padding">0</property>
|
|
|
|
<child>
|
|
<widget class="GtkTable" id="table7">
|
|
<property name="visible">True</property>
|
|
<property name="n_rows">3</property>
|
|
<property name="n_columns">2</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="row_spacing">3</property>
|
|
<property name="column_spacing">25</property>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label133">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Long line marker:</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>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">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="GtkLabel" id="label134">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Long line marker color:</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>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</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="label156">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Type:</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>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</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="GtkColorButton" id="long_line_color">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Sets the color of the long line marker</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="use_alpha">False</property>
|
|
<property name="title" translatable="yes">Color Chooser</property>
|
|
<property name="focus_on_click">True</property>
|
|
</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="GtkSpinButton" id="spin_long_line">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">The long line marker is a thin vertical line in the editor. It helps to mark long lines, or as a hint to break the line. Set this value to a value greater than 0 to specify the column where it should appear.</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">True</property>
|
|
<property name="adjustment">72 0 1000 1 10 10</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"></property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkHBox" id="hbox5">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">10</property>
|
|
|
|
<child>
|
|
<widget class="GtkRadioButton" id="radio_long_line_line">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Prints a vertical line in the editor window at the given cursor position (see below).</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">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>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkRadioButton" id="radio_long_line_background">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">The background colour of characters after the given cursor position (see below) changed to the colour set below. (This is recommended if you use proportional fonts)</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">True</property>
|
|
<property name="active">False</property>
|
|
<property name="inconsistent">False</property>
|
|
<property name="draw_indicator">True</property>
|
|
<property name="group">radio_long_line_line</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkRadioButton" id="radio_long_line_disabled">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Disabled</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>
|
|
<property name="group">radio_long_line_line</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
</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">fill</property>
|
|
<property name="y_options">fill</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label155">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes"><b>Long line marker</b></property>
|
|
<property name="use_underline">False</property>
|
|
<property name="use_markup">True</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">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">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkFrame" id="frame14">
|
|
<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="alignment17">
|
|
<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">12</property>
|
|
<property name="right_padding">0</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="check_auto_indent">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Add the same indentation as the previous line after pressing enter</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Auto indentation</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>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_line_wrapping">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Wrap the line at the window border and continue it on the next line. Note: line wrapping has a high performance cost for large documents so should be disabled on slow machines.</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Line 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>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_folding">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Whether to enable folding the code</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Enable folding</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_unfold_children">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Unfold all children of a fold point when unfolding it.</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Unfold all children of a fold point</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_indicators">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Whether to use indicators (a squiggly underline) to highlight the lines where the compiler found a warning or an error.</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Use indicators to show compile errors</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_disable_dnd">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Disable drag and drop completely in the editor window so you can't drag and drop any selections within or outside of the editor window.</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Disable Drag and Drop</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_use_tabs">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Whenever some whitespace is inserted by Geany it will use tabluators when enabled otherwise Geany will use just spaces.</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Use tabulators when inserting whitespace</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label172">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes"><b>Features</b></property>
|
|
<property name="use_underline">False</property>
|
|
<property name="use_markup">True</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">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">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkFrame" id="frame18">
|
|
<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="alignment21">
|
|
<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">12</property>
|
|
<property name="right_padding">0</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="GtkCheckButton" id="check_auto_complete">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Automatic completion of often used constructs like if and for</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Construct autocompletion</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkCheckButton" id="check_xmltag">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Automatic completion of open XML tags (includes HTML tags)</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">XML tag autocompletion</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkHBox" id="hbox6">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">20</property>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label173">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Rows of autocompletion list:</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>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</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="spin_autocheight">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Number of rows to display in the autocompletion list.</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">10 1 99 1 10 10</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label177">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes"><b>Autocompletion</b></property>
|
|
<property name="use_underline">False</property>
|
|
<property name="use_markup">True</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="type">label_item</property>
|
|
</packing>
|
|
</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="label95">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Editor</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="type">tab</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkFrame" id="frame20">
|
|
<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="alignment23">
|
|
<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">12</property>
|
|
<property name="right_padding">0</property>
|
|
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox2">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">12</property>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label17">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Enter tool paths below. Tools you do not need can be left blank.</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">6</property>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</property>
|
|
</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">5</property>
|
|
<property name="n_columns">3</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="row_spacing">7</property>
|
|
<property name="column_spacing">5</property>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label11">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Make:</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>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</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="label97">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Terminal:</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>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">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="GtkLabel" id="label117">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Browser:</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>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</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="GtkEntry" id="entry_com_make">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Path and options for the make tool</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="editable">True</property>
|
|
<property name="visibility">True</property>
|
|
<property name="max_length">0</property>
|
|
<property name="text" translatable="yes"></property>
|
|
<property name="has_frame">True</property>
|
|
<property name="invisible_char">*</property>
|
|
<property name="activates_default">False</property>
|
|
</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="GtkEntry" id="entry_com_term">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">A terminal emulator like xterm, gnome-terminal or konsole (should accept the -e argument)</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="editable">True</property>
|
|
<property name="visibility">True</property>
|
|
<property name="max_length">0</property>
|
|
<property name="text" translatable="yes"></property>
|
|
<property name="has_frame">True</property>
|
|
<property name="invisible_char">*</property>
|
|
<property name="activates_default">False</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="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkEntry" id="entry_browser">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Path (and possibly additional arguments) to your favorite browser</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="editable">True</property>
|
|
<property name="visibility">True</property>
|
|
<property name="max_length">0</property>
|
|
<property name="text" translatable="yes"></property>
|
|
<property name="has_frame">True</property>
|
|
<property name="invisible_char">*</property>
|
|
<property name="activates_default">False</property>
|
|
</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="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkButton" id="button_make">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
|
<property name="focus_on_click">True</property>
|
|
|
|
<child>
|
|
<widget class="GtkImage" id="image285">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-open</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_options">fill</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkButton" id="button_term">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
|
<property name="focus_on_click">True</property>
|
|
|
|
<child>
|
|
<widget class="GtkImage" id="image286">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-open</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">fill</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkButton" id="button_browser">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
|
<property name="focus_on_click">True</property>
|
|
|
|
<child>
|
|
<widget class="GtkImage" id="image287">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-open</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">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="label154">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Print command:</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>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</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="GtkEntry" id="entry_print">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Path to the command for printing files (use %f for the filename).</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="editable">True</property>
|
|
<property name="visibility">True</property>
|
|
<property name="max_length">0</property>
|
|
<property name="text" translatable="yes"></property>
|
|
<property name="has_frame">True</property>
|
|
<property name="invisible_char">*</property>
|
|
<property name="activates_default">False</property>
|
|
</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="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkButton" id="button_print">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
|
<property name="focus_on_click">True</property>
|
|
|
|
<child>
|
|
<widget class="GtkImage" id="image763">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-open</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">3</property>
|
|
<property name="bottom_attach">4</property>
|
|
<property name="x_options">fill</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label171">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Grep:</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>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">0</property>
|
|
<property name="right_attach">1</property>
|
|
<property name="top_attach">4</property>
|
|
<property name="bottom_attach">5</property>
|
|
<property name="x_options">fill</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkEntry" id="entry_grep">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="editable">True</property>
|
|
<property name="visibility">True</property>
|
|
<property name="max_length">0</property>
|
|
<property name="text" translatable="yes"></property>
|
|
<property name="has_frame">True</property>
|
|
<property name="invisible_char">*</property>
|
|
<property name="activates_default">False</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">2</property>
|
|
<property name="top_attach">4</property>
|
|
<property name="bottom_attach">5</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkButton" id="button_grep">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
|
<property name="focus_on_click">True</property>
|
|
|
|
<child>
|
|
<widget class="GtkImage" id="image808">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-open</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">4</property>
|
|
<property name="bottom_attach">5</property>
|
|
<property name="x_options">fill</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label179">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes"><b>Tool paths</b></property>
|
|
<property name="use_underline">False</property>
|
|
<property name="use_markup">True</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</property>
|
|
</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="label96">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Tools</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="type">tab</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkFrame" id="frame21">
|
|
<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="alignment24">
|
|
<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">12</property>
|
|
<property name="right_padding">0</property>
|
|
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox9">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">12</property>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label120">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Set the information to be used in templates. See the documentation for details.</property>
|
|
<property name="use_underline">False</property>
|
|
<property name="use_markup">False</property>
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
|
<property name="wrap">True</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">6</property>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkTable" id="table6">
|
|
<property name="visible">True</property>
|
|
<property name="n_rows">5</property>
|
|
<property name="n_columns">2</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="row_spacing">7</property>
|
|
<property name="column_spacing">5</property>
|
|
|
|
<child>
|
|
<widget class="GtkEntry" id="entry_template_mail">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">email address of the developer</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="editable">True</property>
|
|
<property name="visibility">True</property>
|
|
<property name="max_length">0</property>
|
|
<property name="text" translatable="yes"></property>
|
|
<property name="has_frame">True</property>
|
|
<property name="invisible_char">*</property>
|
|
<property name="activates_default">False</property>
|
|
</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="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkEntry" id="entry_template_initial">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Initials of the developer name</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="editable">True</property>
|
|
<property name="visibility">True</property>
|
|
<property name="max_length">0</property>
|
|
<property name="text" translatable="yes"></property>
|
|
<property name="has_frame">True</property>
|
|
<property name="invisible_char">*</property>
|
|
<property name="activates_default">False</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="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label126">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Initial Version:</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>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">0</property>
|
|
<property name="right_attach">1</property>
|
|
<property name="top_attach">4</property>
|
|
<property name="bottom_attach">5</property>
|
|
<property name="x_options">fill</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkEntry" id="entry_template_version">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Version number, which a new file initially has</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="editable">True</property>
|
|
<property name="visibility">True</property>
|
|
<property name="max_length">0</property>
|
|
<property name="text" translatable="yes"></property>
|
|
<property name="has_frame">True</property>
|
|
<property name="invisible_char">*</property>
|
|
<property name="activates_default">False</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">2</property>
|
|
<property name="top_attach">4</property>
|
|
<property name="bottom_attach">5</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkEntry" id="entry_template_company">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Company name</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="editable">True</property>
|
|
<property name="visibility">True</property>
|
|
<property name="max_length">0</property>
|
|
<property name="text" translatable="yes"></property>
|
|
<property name="has_frame">True</property>
|
|
<property name="invisible_char">*</property>
|
|
<property name="activates_default">False</property>
|
|
</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="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label129">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Developer:</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>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</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="label123">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Company:</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>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</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="GtkLabel" id="label130">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Mail address:</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>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</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="label131">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Initials:</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>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">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="GtkEntry" id="entry_template_developer">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">The name of the developer</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="editable">True</property>
|
|
<property name="visibility">True</property>
|
|
<property name="max_length">0</property>
|
|
<property name="text" translatable="yes"></property>
|
|
<property name="has_frame">True</property>
|
|
<property name="invisible_char">*</property>
|
|
<property name="activates_default">False</property>
|
|
</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>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label132">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes"><i>Notice: For all changes you make here to take effect, you need to restart Geany.</i></property>
|
|
<property name="use_underline">False</property>
|
|
<property name="use_markup">True</property>
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
|
<property name="wrap">True</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</property>
|
|
</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="label180">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes"><b>Template data</b></property>
|
|
<property name="use_underline">False</property>
|
|
<property name="use_markup">True</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</property>
|
|
</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="label119">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Templates</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="type">tab</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkFrame" id="frame22">
|
|
<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="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">0</property>
|
|
<property name="left_padding">12</property>
|
|
<property name="right_padding">0</property>
|
|
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox13">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">5</property>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label152">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Here you can change keyboard shortcuts for various actions. Select one and press the Change button to enter a new shortcut, or double click on an action to edit the string representation of the shortcut directly.</property>
|
|
<property name="use_underline">False</property>
|
|
<property name="use_markup">False</property>
|
|
<property name="justify">GTK_JUSTIFY_FILL</property>
|
|
<property name="wrap">True</property>
|
|
<property name="selectable">False</property>
|
|
<property name="xalign">0</property>
|
|
<property name="yalign">0</property>
|
|
<property name="xpad">0</property>
|
|
<property name="ypad">5</property>
|
|
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkScrolledWindow" id="scrolledwindow8">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
|
|
<property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
|
|
<property name="shadow_type">GTK_SHADOW_IN</property>
|
|
<property name="window_placement">GTK_CORNER_TOP_LEFT</property>
|
|
|
|
<child>
|
|
<widget class="GtkTreeView" id="treeview7">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="headers_visible">True</property>
|
|
<property name="rules_hint">False</property>
|
|
<property name="reorderable">False</property>
|
|
<property name="enable_search">False</property>
|
|
<property name="fixed_height_mode">False</property>
|
|
<property name="hover_selection">False</property>
|
|
<property name="hover_expand">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="GtkAlignment" id="alignment10">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">0.5</property>
|
|
<property name="yalign">0.5</property>
|
|
<property name="xscale">0.300000011921</property>
|
|
<property name="yscale">1</property>
|
|
<property name="top_padding">0</property>
|
|
<property name="bottom_padding">5</property>
|
|
<property name="left_padding">0</property>
|
|
<property name="right_padding">0</property>
|
|
|
|
<child>
|
|
<widget class="GtkButton" id="button2">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="label" translatable="yes">Change</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="relief">GTK_RELIEF_NORMAL</property>
|
|
<property name="focus_on_click">True</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>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label181">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes"><b>Keyboard shortcuts</b></property>
|
|
<property name="use_underline">False</property>
|
|
<property name="use_markup">True</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</property>
|
|
</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="label151">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Keybindings</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="ellipsize">PANGO_ELLIPSIZE_NONE</property>
|
|
<property name="width_chars">-1</property>
|
|
<property name="single_line_mode">False</property>
|
|
<property name="angle">0</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="type">tab</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">6</property>
|
|
<property name="expand">True</property>
|
|
<property name="fill">True</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
|
|
</glade-interface>
|