Orange Pi5 kernel

Deprecated Linux kernel 5.10.110 for OrangePi 5/5B/5+ boards

3 Commits   0 Branches   0 Tags
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300   1) <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300   2) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300   3) <glade-interface>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300   4) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300   5) <widget class="GtkWindow" id="window1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300   6)   <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300   7)   <property name="title" translatable="yes">Gtk Kernel Configurator</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300   8)   <property name="type">GTK_WINDOW_TOPLEVEL</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300   9)   <property name="window_position">GTK_WIN_POS_NONE</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  10)   <property name="modal">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  11)   <property name="default_width">640</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  12)   <property name="default_height">480</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  13)   <property name="resizable">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  14)   <property name="destroy_with_parent">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  15)   <property name="decorated">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  16)   <property name="skip_taskbar_hint">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  17)   <property name="skip_pager_hint">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  18)   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  19)   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  20)   <signal name="destroy" handler="on_window1_destroy" object="window1"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  21)   <signal name="size_request" handler="on_window1_size_request" object="vpaned1" last_modification_time="Fri, 11 Jan 2002 16:17:11 GMT"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  22)   <signal name="delete_event" handler="on_window1_delete_event" object="window1" last_modification_time="Sun, 09 Mar 2003 19:42:46 GMT"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  23) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  24)   <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  25)     <widget class="GtkVBox" id="vbox1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  26)       <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  27)       <property name="homogeneous">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  28)       <property name="spacing">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  29) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  30)       <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  31) 	<widget class="GtkMenuBar" id="menubar1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  32) 	  <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  33) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  34) 	  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  35) 	    <widget class="GtkMenuItem" id="file1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  36) 	      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  37) 	      <property name="label" translatable="yes">_File</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  38) 	      <property name="use_underline">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  39) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  40) 	      <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  41) 		<widget class="GtkMenu" id="file1_menu">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  42) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  43) 		  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  44) 		    <widget class="GtkImageMenuItem" id="load1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  45) 		      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  46) 		      <property name="tooltip" translatable="yes">Load a config file</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  47) 		      <property name="label" translatable="yes">_Load</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  48) 		      <property name="use_underline">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  49) 		      <signal name="activate" handler="on_load1_activate"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  50) 		      <accelerator key="L" modifiers="GDK_CONTROL_MASK" signal="activate"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  51) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  52) 		      <child internal-child="image">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  53) 			<widget class="GtkImage" id="image39">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  54) 			  <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  55) 			  <property name="stock">gtk-open</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  56) 			  <property name="icon_size">1</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  57) 			  <property name="xalign">0.5</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  58) 			  <property name="yalign">0.5</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  59) 			  <property name="xpad">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  60) 			  <property name="ypad">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  61) 			</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  62) 		      </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  63) 		    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  64) 		  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  65) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  66) 		  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  67) 		    <widget class="GtkImageMenuItem" id="save1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  68) 		      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  69) 		      <property name="tooltip" translatable="yes">Save the config in .config</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  70) 		      <property name="label" translatable="yes">_Save</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  71) 		      <property name="use_underline">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  72) 		      <signal name="activate" handler="on_save_activate"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  73) 		      <accelerator key="S" modifiers="GDK_CONTROL_MASK" signal="activate"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  74) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  75) 		      <child internal-child="image">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  76) 			<widget class="GtkImage" id="image40">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  77) 			  <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  78) 			  <property name="stock">gtk-save</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  79) 			  <property name="icon_size">1</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  80) 			  <property name="xalign">0.5</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  81) 			  <property name="yalign">0.5</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  82) 			  <property name="xpad">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  83) 			  <property name="ypad">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  84) 			</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  85) 		      </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  86) 		    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  87) 		  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  88) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  89) 		  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  90) 		    <widget class="GtkImageMenuItem" id="save_as1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  91) 		      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  92) 		      <property name="tooltip" translatable="yes">Save the config in a file</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  93) 		      <property name="label" translatable="yes">Save _as</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  94) 		      <property name="use_underline">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  95) 		      <signal name="activate" handler="on_save_as1_activate"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  96) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  97) 		      <child internal-child="image">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  98) 			<widget class="GtkImage" id="image41">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  99) 			  <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 100) 			  <property name="stock">gtk-save-as</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 101) 			  <property name="icon_size">1</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 102) 			  <property name="xalign">0.5</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 103) 			  <property name="yalign">0.5</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 104) 			  <property name="xpad">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 105) 			  <property name="ypad">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 106) 			</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 107) 		      </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 108) 		    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 109) 		  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 110) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 111) 		  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 112) 		    <widget class="GtkSeparatorMenuItem" id="separator1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 113) 		      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 114) 		    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 115) 		  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 116) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 117) 		  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 118) 		    <widget class="GtkImageMenuItem" id="quit1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 119) 		      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 120) 		      <property name="label" translatable="yes">_Quit</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 121) 		      <property name="use_underline">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 122) 		      <signal name="activate" handler="on_quit1_activate"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 123) 		      <accelerator key="Q" modifiers="GDK_CONTROL_MASK" signal="activate"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 124) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 125) 		      <child internal-child="image">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 126) 			<widget class="GtkImage" id="image42">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 127) 			  <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 128) 			  <property name="stock">gtk-quit</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 129) 			  <property name="icon_size">1</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 130) 			  <property name="xalign">0.5</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 131) 			  <property name="yalign">0.5</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 132) 			  <property name="xpad">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 133) 			  <property name="ypad">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 134) 			</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 135) 		      </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 136) 		    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 137) 		  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 138) 		</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 139) 	      </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 140) 	    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 141) 	  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 142) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 143) 	  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 144) 	    <widget class="GtkMenuItem" id="options1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 145) 	      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 146) 	      <property name="label" translatable="yes">_Options</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 147) 	      <property name="use_underline">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 148) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 149) 	      <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 150) 		<widget class="GtkMenu" id="options1_menu">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 151) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 152) 		  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 153) 		    <widget class="GtkCheckMenuItem" id="show_name1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 154) 		      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 155) 		      <property name="tooltip" translatable="yes">Show name</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 156) 		      <property name="label" translatable="yes">Show _name</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 157) 		      <property name="use_underline">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 158) 		      <property name="active">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 159) 		      <signal name="activate" handler="on_show_name1_activate"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 160) 		    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 161) 		  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 162) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 163) 		  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 164) 		    <widget class="GtkCheckMenuItem" id="show_range1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 165) 		      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 166) 		      <property name="tooltip" translatable="yes">Show range (Y/M/N)</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 167) 		      <property name="label" translatable="yes">Show _range</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 168) 		      <property name="use_underline">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 169) 		      <property name="active">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 170) 		      <signal name="activate" handler="on_show_range1_activate"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 171) 		    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 172) 		  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 173) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 174) 		  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 175) 		    <widget class="GtkCheckMenuItem" id="show_data1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 176) 		      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 177) 		      <property name="tooltip" translatable="yes">Show value of the option</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 178) 		      <property name="label" translatable="yes">Show _data</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 179) 		      <property name="use_underline">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 180) 		      <property name="active">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 181) 		      <signal name="activate" handler="on_show_data1_activate"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 182) 		    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 183) 		  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 184) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 185) 		  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 186) 		    <widget class="GtkSeparatorMenuItem" id="separator2">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 187) 		      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 188) 		    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 189) 		  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 190) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 191) 		  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 192) 		    <widget class="GtkRadioMenuItem" id="set_option_mode1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 193) 		      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 194) 		      <property name="tooltip" translatable="yes">Show normal options</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 195) 		      <property name="label" translatable="yes">Show normal options</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 196) 		      <property name="use_underline">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 197) 		      <property name="active">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 198) 		      <signal name="activate" handler="on_set_option_mode1_activate"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 199) 		    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 200) 		  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 201) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 202) 		  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 203) 		    <widget class="GtkRadioMenuItem" id="set_option_mode2">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 204) 		      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 205) 		      <property name="tooltip" translatable="yes">Show all options</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 206) 		      <property name="label" translatable="yes">Show all _options</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 207) 		      <property name="use_underline">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 208) 		      <property name="active">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 209) 		      <property name="group">set_option_mode1</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 210) 		      <signal name="activate" handler="on_set_option_mode2_activate"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 211) 		    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 212) 		  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 213) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 214) 		  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 215) 		    <widget class="GtkRadioMenuItem" id="set_option_mode3">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 216) 		      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 217) 		      <property name="tooltip" translatable="yes">Show all options with prompts</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 218) 		      <property name="label" translatable="yes">Show all prompt options</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 219) 		      <property name="use_underline">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 220) 		      <property name="active">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 221) 		      <property name="group">set_option_mode1</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 222) 		      <signal name="activate" handler="on_set_option_mode3_activate"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 223) 		    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 224) 		  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 225) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 226) 		</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 227) 	      </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 228) 	    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 229) 	  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 230) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 231) 	  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 232) 	    <widget class="GtkMenuItem" id="help1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 233) 	      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 234) 	      <property name="label" translatable="yes">_Help</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 235) 	      <property name="use_underline">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 236) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 237) 	      <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 238) 		<widget class="GtkMenu" id="help1_menu">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 239) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 240) 		  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 241) 		    <widget class="GtkImageMenuItem" id="introduction1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 242) 		      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 243) 		      <property name="label" translatable="yes">_Introduction</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 244) 		      <property name="use_underline">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 245) 		      <signal name="activate" handler="on_introduction1_activate" last_modification_time="Fri, 15 Nov 2002 20:26:30 GMT"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 246) 		      <accelerator key="I" modifiers="GDK_CONTROL_MASK" signal="activate"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 247) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 248) 		      <child internal-child="image">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 249) 			<widget class="GtkImage" id="image43">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 250) 			  <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 251) 			  <property name="stock">gtk-dialog-question</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 252) 			  <property name="icon_size">1</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 253) 			  <property name="xalign">0.5</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 254) 			  <property name="yalign">0.5</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 255) 			  <property name="xpad">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 256) 			  <property name="ypad">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 257) 			</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 258) 		      </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 259) 		    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 260) 		  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 261) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 262) 		  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 263) 		    <widget class="GtkImageMenuItem" id="about1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 264) 		      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 265) 		      <property name="label" translatable="yes">_About</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 266) 		      <property name="use_underline">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 267) 		      <signal name="activate" handler="on_about1_activate" last_modification_time="Fri, 15 Nov 2002 20:26:30 GMT"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 268) 		      <accelerator key="A" modifiers="GDK_CONTROL_MASK" signal="activate"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 269) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 270) 		      <child internal-child="image">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 271) 			<widget class="GtkImage" id="image44">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 272) 			  <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 273) 			  <property name="stock">gtk-properties</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 274) 			  <property name="icon_size">1</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 275) 			  <property name="xalign">0.5</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 276) 			  <property name="yalign">0.5</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 277) 			  <property name="xpad">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 278) 			  <property name="ypad">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 279) 			</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 280) 		      </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 281) 		    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 282) 		  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 283) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 284) 		  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 285) 		    <widget class="GtkImageMenuItem" id="license1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 286) 		      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 287) 		      <property name="label" translatable="yes">_License</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 288) 		      <property name="use_underline">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 289) 		      <signal name="activate" handler="on_license1_activate" last_modification_time="Fri, 15 Nov 2002 20:26:30 GMT"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 290) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 291) 		      <child internal-child="image">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 292) 			<widget class="GtkImage" id="image45">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 293) 			  <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 294) 			  <property name="stock">gtk-justify-fill</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 295) 			  <property name="icon_size">1</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 296) 			  <property name="xalign">0.5</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 297) 			  <property name="yalign">0.5</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 298) 			  <property name="xpad">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 299) 			  <property name="ypad">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 300) 			</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 301) 		      </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 302) 		    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 303) 		  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 304) 		</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 305) 	      </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 306) 	    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 307) 	  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 308) 	</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 309) 	<packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 310) 	  <property name="padding">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 311) 	  <property name="expand">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 312) 	  <property name="fill">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 313) 	</packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 314)       </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 315) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 316)       <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 317) 	<widget class="GtkHandleBox" id="handlebox1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 318) 	  <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 319) 	  <property name="shadow_type">GTK_SHADOW_OUT</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 320) 	  <property name="handle_position">GTK_POS_LEFT</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 321) 	  <property name="snap_edge">GTK_POS_TOP</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 322) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 323) 	  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 324) 	    <widget class="GtkToolbar" id="toolbar1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 325) 	      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 326) 	      <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 327) 	      <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 328) 	      <property name="tooltips">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 329) 	      <property name="show_arrow">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 330) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 331) 	      <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 332) 		<widget class="GtkToolButton" id="button1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 333) 		  <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 334) 		  <property name="tooltip" translatable="yes">Goes up of one level (single view)</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 335) 		  <property name="label" translatable="yes">Back</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 336) 		  <property name="use_underline">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 337) 		  <property name="stock_id">gtk-undo</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 338) 		  <property name="visible_horizontal">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 339) 		  <property name="visible_vertical">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 340) 		  <property name="is_important">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 341) 		  <signal name="clicked" handler="on_back_clicked"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 342) 		</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 343) 		<packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 344) 		  <property name="expand">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 345) 		  <property name="homogeneous">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 346) 		</packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 347) 	      </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 348) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 349) 	      <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 350) 		<widget class="GtkToolItem" id="toolitem1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 351) 		  <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 352) 		  <property name="visible_horizontal">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 353) 		  <property name="visible_vertical">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 354) 		  <property name="is_important">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 355) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 356) 		  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 357) 		    <widget class="GtkVSeparator" id="vseparator1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 358) 		      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 359) 		    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 360) 		  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 361) 		</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 362) 		<packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 363) 		  <property name="expand">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 364) 		  <property name="homogeneous">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 365) 		</packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 366) 	      </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 367) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 368) 	      <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 369) 		<widget class="GtkToolButton" id="button2">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 370) 		  <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 371) 		  <property name="tooltip" translatable="yes">Load a config file</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 372) 		  <property name="label" translatable="yes">Load</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 373) 		  <property name="use_underline">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 374) 		  <property name="stock_id">gtk-open</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 375) 		  <property name="visible_horizontal">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 376) 		  <property name="visible_vertical">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 377) 		  <property name="is_important">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 378) 		  <signal name="clicked" handler="on_load_clicked"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 379) 		</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 380) 		<packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 381) 		  <property name="expand">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 382) 		  <property name="homogeneous">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 383) 		</packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 384) 	      </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 385) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 386) 	      <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 387) 		<widget class="GtkToolButton" id="button3">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 388) 		  <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 389) 		  <property name="tooltip" translatable="yes">Save a config file</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 390) 		  <property name="label" translatable="yes">Save</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 391) 		  <property name="use_underline">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 392) 		  <property name="stock_id">gtk-save</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 393) 		  <property name="visible_horizontal">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 394) 		  <property name="visible_vertical">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 395) 		  <property name="is_important">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 396) 		  <signal name="clicked" handler="on_save_activate"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 397) 		</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 398) 		<packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 399) 		  <property name="expand">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 400) 		  <property name="homogeneous">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 401) 		</packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 402) 	      </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 403) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 404) 	      <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 405) 		<widget class="GtkToolItem" id="toolitem2">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 406) 		  <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 407) 		  <property name="visible_horizontal">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 408) 		  <property name="visible_vertical">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 409) 		  <property name="is_important">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 410) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 411) 		  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 412) 		    <widget class="GtkVSeparator" id="vseparator2">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 413) 		      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 414) 		    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 415) 		  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 416) 		</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 417) 		<packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 418) 		  <property name="expand">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 419) 		  <property name="homogeneous">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 420) 		</packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 421) 	      </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 422) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 423) 	      <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 424) 		<widget class="GtkToolButton" id="button4">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 425) 		  <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 426) 		  <property name="tooltip" translatable="yes">Single view</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 427) 		  <property name="label" translatable="yes">Single</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 428) 		  <property name="use_underline">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 429) 		  <property name="stock_id">gtk-missing-image</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 430) 		  <property name="visible_horizontal">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 431) 		  <property name="visible_vertical">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 432) 		  <property name="is_important">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 433) 		  <signal name="clicked" handler="on_single_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:39 GMT"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 434) 		</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 435) 		<packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 436) 		  <property name="expand">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 437) 		  <property name="homogeneous">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 438) 		</packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 439) 	      </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 440) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 441) 	      <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 442) 		<widget class="GtkToolButton" id="button5">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 443) 		  <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 444) 		  <property name="tooltip" translatable="yes">Split view</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 445) 		  <property name="label" translatable="yes">Split</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 446) 		  <property name="use_underline">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 447) 		  <property name="stock_id">gtk-missing-image</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 448) 		  <property name="visible_horizontal">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 449) 		  <property name="visible_vertical">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 450) 		  <property name="is_important">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 451) 		  <signal name="clicked" handler="on_split_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:45 GMT"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 452) 		</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 453) 		<packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 454) 		  <property name="expand">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 455) 		  <property name="homogeneous">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 456) 		</packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 457) 	      </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 458) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 459) 	      <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 460) 		<widget class="GtkToolButton" id="button6">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 461) 		  <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 462) 		  <property name="tooltip" translatable="yes">Full view</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 463) 		  <property name="label" translatable="yes">Full</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 464) 		  <property name="use_underline">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 465) 		  <property name="stock_id">gtk-missing-image</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 466) 		  <property name="visible_horizontal">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 467) 		  <property name="visible_vertical">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 468) 		  <property name="is_important">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 469) 		  <signal name="clicked" handler="on_full_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:50 GMT"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 470) 		</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 471) 		<packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 472) 		  <property name="expand">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 473) 		  <property name="homogeneous">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 474) 		</packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 475) 	      </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 476) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 477) 	      <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 478) 		<widget class="GtkToolItem" id="toolitem3">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 479) 		  <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 480) 		  <property name="visible_horizontal">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 481) 		  <property name="visible_vertical">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 482) 		  <property name="is_important">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 483) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 484) 		  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 485) 		    <widget class="GtkVSeparator" id="vseparator3">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 486) 		      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 487) 		    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 488) 		  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 489) 		</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 490) 		<packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 491) 		  <property name="expand">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 492) 		  <property name="homogeneous">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 493) 		</packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 494) 	      </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 495) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 496) 	      <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 497) 		<widget class="GtkToolButton" id="button7">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 498) 		  <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 499) 		  <property name="tooltip" translatable="yes">Collapse the whole tree in the right frame</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 500) 		  <property name="label" translatable="yes">Collapse</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 501) 		  <property name="use_underline">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 502) 		  <property name="stock_id">gtk-remove</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 503) 		  <property name="visible_horizontal">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 504) 		  <property name="visible_vertical">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 505) 		  <property name="is_important">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 506) 		  <signal name="clicked" handler="on_collapse_clicked"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 507) 		</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 508) 		<packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 509) 		  <property name="expand">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 510) 		  <property name="homogeneous">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 511) 		</packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 512) 	      </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 513) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 514) 	      <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 515) 		<widget class="GtkToolButton" id="button8">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 516) 		  <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 517) 		  <property name="tooltip" translatable="yes">Expand the whole tree in the right frame</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 518) 		  <property name="label" translatable="yes">Expand</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 519) 		  <property name="use_underline">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 520) 		  <property name="stock_id">gtk-add</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 521) 		  <property name="visible_horizontal">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 522) 		  <property name="visible_vertical">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 523) 		  <property name="is_important">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 524) 		  <signal name="clicked" handler="on_expand_clicked"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 525) 		</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 526) 		<packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 527) 		  <property name="expand">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 528) 		  <property name="homogeneous">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 529) 		</packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 530) 	      </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 531) 	    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 532) 	  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 533) 	</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 534) 	<packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 535) 	  <property name="padding">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 536) 	  <property name="expand">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 537) 	  <property name="fill">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 538) 	</packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 539)       </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 540) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 541)       <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 542) 	<widget class="GtkHPaned" id="hpaned1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 543) 	  <property name="width_request">1</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 544) 	  <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 545) 	  <property name="can_focus">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 546) 	  <property name="position">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 547) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 548) 	  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 549) 	    <widget class="GtkScrolledWindow" id="scrolledwindow1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 550) 	      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 551) 	      <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 552) 	      <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 553) 	      <property name="shadow_type">GTK_SHADOW_IN</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 554) 	      <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 555) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 556) 	      <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 557) 		<widget class="GtkTreeView" id="treeview1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 558) 		  <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 559) 		  <property name="can_focus">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 560) 		  <property name="headers_visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 561) 		  <property name="rules_hint">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 562) 		  <property name="reorderable">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 563) 		  <property name="enable_search">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 564) 		  <signal name="cursor_changed" handler="on_treeview2_cursor_changed" last_modification_time="Sun, 12 Jan 2003 15:58:22 GMT"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 565) 		  <signal name="button_press_event" handler="on_treeview1_button_press_event" last_modification_time="Sun, 12 Jan 2003 16:03:52 GMT"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 566) 		  <signal name="key_press_event" handler="on_treeview2_key_press_event" last_modification_time="Sun, 12 Jan 2003 16:11:44 GMT"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 567) 		</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 568) 	      </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 569) 	    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 570) 	    <packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 571) 	      <property name="shrink">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 572) 	      <property name="resize">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 573) 	    </packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 574) 	  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 575) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 576) 	  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 577) 	    <widget class="GtkVPaned" id="vpaned1">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 578) 	      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 579) 	      <property name="can_focus">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 580) 	      <property name="position">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 581) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 582) 	      <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 583) 		<widget class="GtkScrolledWindow" id="scrolledwindow2">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 584) 		  <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 585) 		  <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 586) 		  <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 587) 		  <property name="shadow_type">GTK_SHADOW_IN</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 588) 		  <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 589) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 590) 		  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 591) 		    <widget class="GtkTreeView" id="treeview2">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 592) 		      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 593) 		      <property name="can_focus">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 594) 		      <property name="has_focus">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 595) 		      <property name="headers_visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 596) 		      <property name="rules_hint">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 597) 		      <property name="reorderable">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 598) 		      <property name="enable_search">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 599) 		      <signal name="cursor_changed" handler="on_treeview2_cursor_changed" last_modification_time="Sun, 12 Jan 2003 15:57:55 GMT"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 600) 		      <signal name="button_press_event" handler="on_treeview2_button_press_event" last_modification_time="Sun, 12 Jan 2003 15:57:58 GMT"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 601) 		      <signal name="key_press_event" handler="on_treeview2_key_press_event" last_modification_time="Sun, 12 Jan 2003 15:58:01 GMT"/>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 602) 		    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 603) 		  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 604) 		</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 605) 		<packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 606) 		  <property name="shrink">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 607) 		  <property name="resize">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 608) 		</packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 609) 	      </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 610) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 611) 	      <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 612) 		<widget class="GtkScrolledWindow" id="scrolledwindow3">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 613) 		  <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 614) 		  <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 615) 		  <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 616) 		  <property name="shadow_type">GTK_SHADOW_IN</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 617) 		  <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 618) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 619) 		  <child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 620) 		    <widget class="GtkTextView" id="textview3">
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 621) 		      <property name="visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 622) 		      <property name="can_focus">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 623) 		      <property name="editable">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 624) 		      <property name="overwrite">False</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 625) 		      <property name="accepts_tab">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 626) 		      <property name="justification">GTK_JUSTIFY_LEFT</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 627) 		      <property name="wrap_mode">GTK_WRAP_WORD</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 628) 		      <property name="cursor_visible">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 629) 		      <property name="pixels_above_lines">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 630) 		      <property name="pixels_below_lines">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 631) 		      <property name="pixels_inside_wrap">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 632) 		      <property name="left_margin">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 633) 		      <property name="right_margin">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 634) 		      <property name="indent">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 635) 		      <property name="text" translatable="yes">Sorry, no help available for this option yet.</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 636) 		    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 637) 		  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 638) 		</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 639) 		<packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 640) 		  <property name="shrink">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 641) 		  <property name="resize">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 642) 		</packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 643) 	      </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 644) 	    </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 645) 	    <packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 646) 	      <property name="shrink">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 647) 	      <property name="resize">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 648) 	    </packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 649) 	  </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 650) 	</widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 651) 	<packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 652) 	  <property name="padding">0</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 653) 	  <property name="expand">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 654) 	  <property name="fill">True</property>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 655) 	</packing>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 656)       </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 657)     </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 658)   </child>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 659) </widget>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 660) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 661) </glade-interface>