7c9d6df76e
git-svn-id: https://geany.svn.sourceforge.net/svnroot/geany/trunk@511 ea778897-0a13-0410-b9d1-a72fbfd435f5
4922 lines
193 KiB
XML
4922 lines
193 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="image791">
|
|
<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>
|
|
|
|
<child>
|
|
<widget class="GtkMenu" id="recent_files1_menu">
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="invisible5">
|
|
<property name="label" translatable="yes">invisible</property>
|
|
<property name="use_underline">True</property>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</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 all</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="image792">
|
|
<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="revert1">
|
|
<property name="visible">True</property>
|
|
<property name="label">gtk-revert-to-saved</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="activate" handler="on_toolbutton23_clicked" last_modification_time="Sun, 18 Dec 2005 22:24:52 GMT"/>
|
|
</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="image793">
|
|
<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="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="image794">
|
|
<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">Insert Comments</property>
|
|
<property name="use_underline">True</property>
|
|
|
|
<child internal-child="image">
|
|
<widget class="GtkImage" id="image795">
|
|
<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 few information 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_comments_multiline_activate" last_modification_time="Sat, 01 Oct 2005 17:35:15 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_comments_gpl_activate" last_modification_time="Sun, 02 Oct 2005 17:37:43 GMT"/>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator18">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_change_selection2">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Change Selection</property>
|
|
<property name="use_underline">True</property>
|
|
|
|
<child>
|
|
<widget class="GtkMenu" id="menu_change_selection2_menu">
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="menu_to_lower-case2">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">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">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>
|
|
</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">_Count words</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="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="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="image796">
|
|
<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="separator11">
|
|
<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="image797">
|
|
<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="image798">
|
|
<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="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">Show _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="image799">
|
|
<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="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 Messages _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_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">Break the line at the window border and continue it on the next line</property>
|
|
<property name="label" translatable="yes">_Line breaking</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="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 filetype</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">Line endings</property>
|
|
<property name="use_underline">True</property>
|
|
|
|
<child>
|
|
<widget class="GtkMenu" id="menu_line_endings1_menu">
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" 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>
|
|
<signal name="activate" handler="on_crlf_activate" last_modification_time="Thu, 28 Apr 2005 16:27:24 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" 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>
|
|
<signal name="activate" handler="on_lf_activate" last_modification_time="Thu, 28 Apr 2005 16:27:24 GMT"/>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" 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>
|
|
<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 space</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 set indicators in the current document.</property>
|
|
<property name="label" translatable="yes">Remove all _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="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="GtkToolButton" 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="Fri, 22 Apr 2005 21:27:39 GMT"/>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="homogeneous">True</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="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="label" translatable="yes">Run</property>
|
|
<property name="use_underline">True</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">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="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">False</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="GtkMenuItem" id="large_icons1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Large icons</property>
|
|
<property name="use_underline">True</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="GtkMenuItem" id="small_icons1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Small icons</property>
|
|
<property name="use_underline">True</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="image415">
|
|
<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="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="image787">
|
|
<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="image788">
|
|
<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 </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 few information 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>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkSeparatorMenuItem" id="separator17">
|
|
<property name="visible">True</property>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="change_selection1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Change Selection</property>
|
|
<property name="use_underline">True</property>
|
|
|
|
<child>
|
|
<widget class="GtkMenu" id="change_selection1_menu">
|
|
|
|
<child>
|
|
<widget class="GtkMenuItem" id="to_lower-case1">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">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">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>
|
|
</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="image789">
|
|
<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="image790">
|
|
<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="cancelbutton1">
|
|
<property name="visible">True</property>
|
|
<property name="can_default">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="has_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="okbutton1">
|
|
<property name="visible">True</property>
|
|
<property name="can_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_TOP</property>
|
|
<property name="scrollable">False</property>
|
|
<property name="enable_popup">False</property>
|
|
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox3">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">0</property>
|
|
|
|
<child>
|
|
<widget class="GtkFrame" id="frame1">
|
|
<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="alignment2">
|
|
<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">0</property>
|
|
|
|
<child>
|
|
<widget class="GtkHBox" id="hbox2">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">19</property>
|
|
|
|
<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.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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</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="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">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<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_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 arrive.</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_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>
|
|
|
|
<child>
|
|
<widget class="GtkHBox" id="hbox3">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">0</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.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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkRadioButton" id="radio_tab_left">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">New file tabs will be placed to the left of the tab list</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="GtkLabel" id="label149">
|
|
<property name="visible">True</property>
|
|
<property name="label"> </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="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">New file tabs will be placed to the right of the tab list</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="padding">0</property>
|
|
<property name="expand">True</property>
|
|
<property name="fill">True</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label18">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes"><b>Miscellaneous</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>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label106">
|
|
<property name="visible">True</property>
|
|
<property name="label"></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">2</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="GtkFrame" id="frame3">
|
|
<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="alignment4">
|
|
<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="vbox7">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">0</property>
|
|
|
|
<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>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label98">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes"><b>Toolbar</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="GtkLabel" id="label104">
|
|
<property name="visible">True</property>
|
|
<property name="label"></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">2</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="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">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label105">
|
|
<property name="visible">True</property>
|
|
<property name="label"></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">2</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="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">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="label100">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Symbol list font</property>
|
|
<property name="use_underline">False</property>
|
|
<property name="use_markup">False</property>
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
|
<property name="wrap">False</property>
|
|
<property name="selectable">False</property>
|
|
<property name="xalign">0</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="label101">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Message window font</property>
|
|
<property name="use_underline">False</property>
|
|
<property name="use_markup">False</property>
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
|
<property name="wrap">False</property>
|
|
<property name="selectable">False</property>
|
|
<property name="xalign">0</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="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">1</property>
|
|
<property name="bottom_attach">2</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 symbol list 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">0</property>
|
|
<property name="bottom_attach">1</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">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="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="vbox5">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">0</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="GtkHBox" id="hbox4">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">12</property>
|
|
|
|
<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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkTable" id="table5">
|
|
<property name="visible">True</property>
|
|
<property name="n_rows">1</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">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_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">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">True</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">True</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">True</property>
|
|
<property name="fill">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<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="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>
|
|
|
|
<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 auto completion</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_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 auto completion</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_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_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="GtkLabel" id="label148">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes"></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="padding">0</property>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkTable" id="table3">
|
|
<property name="visible">True</property>
|
|
<property name="n_rows">1</property>
|
|
<property name="n_columns">2</property>
|
|
<property name="homogeneous">True</property>
|
|
<property name="row_spacing">3</property>
|
|
<property name="column_spacing">25</property>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label103">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Editor font</property>
|
|
<property name="use_underline">False</property>
|
|
<property name="use_markup">False</property>
|
|
<property name="justify">GTK_JUSTIFY_LEFT</property>
|
|
<property name="wrap">False</property>
|
|
<property name="selectable">False</property>
|
|
<property name="xalign">0</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="editor_font">
|
|
<property name="visible">True</property>
|
|
<property name="tooltip" translatable="yes">Sets the font for the editors windows</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="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="label102">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes"><b>Miscellaneous</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>
|
|
|
|
<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="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="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="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>
|
|
|
|
<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>
|
|
</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">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="GtkVBox" id="vbox2">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">0</property>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label17">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Enter here the paths to the make tool and the compiler
|
|
(tools you do not need can be let 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.5</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">4</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>
|
|
</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="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="GtkVBox" id="vbox9">
|
|
<property name="visible">True</property>
|
|
<property name="homogeneous">False</property>
|
|
<property name="spacing">0</property>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label120">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Specify here information you want to use in templates.
|
|
See documentation if you don't know, how templates work.</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">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">8</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">True</property>
|
|
<property name="fill">True</property>
|
|
</packing>
|
|
</child>
|
|
|
|
<child>
|
|
<widget class="GtkLabel" id="label132">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">Notice: For all changes you make here,
|
|
you need to restart Geany to take effect.</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="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="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="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. Just double click on a action or select one and press the Change button to enter a new shortcut. You can also 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.10000000149</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>
|
|
<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">0</property>
|
|
<property name="expand">True</property>
|
|
<property name="fill">True</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
|
|
</glade-interface>
|