From 3bdd57805ef13558d09d4ec895f316e3b5cb52db Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Thu, 16 Aug 2001 22:28:01 +0000
Subject: toolbars added

---
 mixgtk/mixgtk.glade | 876 ++++++++++++++++++++++++++++++++++++++++++----------
 1 file changed, 705 insertions(+), 171 deletions(-)

(limited to 'mixgtk/mixgtk.glade')

diff --git a/mixgtk/mixgtk.glade b/mixgtk/mixgtk.glade
index 34eab7e..45dd74b 100644
--- a/mixgtk/mixgtk.glade
+++ b/mixgtk/mixgtk.glade
@@ -6,7 +6,7 @@
   <program_name>mixgtk</program_name>
   <directory></directory>
   <source_directory>src</source_directory>
-  <pixmaps_directory>pixmaps</pixmaps_directory>
+  <pixmaps_directory>.</pixmaps_directory>
   <language>C</language>
   <gnome_support>False</gnome_support>
   <gettext_support>False</gettext_support>
@@ -29,7 +29,7 @@
   <position>GTK_WIN_POS_NONE</position>
   <modal>False</modal>
   <default_width>650</default_width>
-  <default_height>500</default_height>
+  <default_height>550</default_height>
   <allow_shrink>False</allow_shrink>
   <allow_grow>True</allow_grow>
   <auto_shrink>True</auto_shrink>
@@ -141,6 +141,54 @@
 	</widget>
       </widget>
 
+      <widget>
+	<class>GtkMenuItem</class>
+	<name>view</name>
+	<label>_View</label>
+	<right_justify>False</right_justify>
+
+	<widget>
+	  <class>GtkMenu</class>
+	  <name>view_menu</name>
+
+	  <widget>
+	    <class>GtkCheckMenuItem</class>
+	    <name>show_toolbars</name>
+	    <accelerator>
+	      <modifiers>GDK_MOD1_MASK</modifiers>
+	      <key>GDK_T</key>
+	      <signal>activate</signal>
+	    </accelerator>
+	    <signal>
+	      <name>toggled</name>
+	      <handler>on_show_toolbars_toggled</handler>
+	      <last_modification_time>Thu, 16 Aug 2001 20:14:16 GMT</last_modification_time>
+	    </signal>
+	    <label>_Toolbar</label>
+	    <active>False</active>
+	    <always_show_toggle>True</always_show_toggle>
+	  </widget>
+
+	  <widget>
+	    <class>GtkMenuItem</class>
+	    <name>separator5</name>
+	    <right_justify>False</right_justify>
+	  </widget>
+
+	  <widget>
+	    <class>GtkMenuItem</class>
+	    <name>split_windows</name>
+	    <signal>
+	      <name>activate</name>
+	      <handler>on_split_windows_activate</handler>
+	      <last_modification_time>Thu, 16 Aug 2001 21:48:57 GMT</last_modification_time>
+	    </signal>
+	    <label>Split _windows</label>
+	    <right_justify>False</right_justify>
+	  </widget>
+	</widget>
+      </widget>
+
       <widget>
 	<class>GtkMenuItem</class>
 	<name>debug</name>
@@ -357,25 +405,6 @@
 	    <right_justify>False</right_justify>
 	  </widget>
 
-	  <widget>
-	    <class>GtkMenuItem</class>
-	    <name>separator1</name>
-	    <right_justify>False</right_justify>
-	  </widget>
-
-	  <widget>
-	    <class>GtkCheckMenuItem</class>
-	    <name>split_windows</name>
-	    <signal>
-	      <name>toggled</name>
-	      <handler>on_split_windows_toggled</handler>
-	      <last_modification_time>Sun, 24 Jun 2001 12:39:53 GMT</last_modification_time>
-	    </signal>
-	    <label>Split _windows</label>
-	    <active>False</active>
-	    <always_show_toggle>True</always_show_toggle>
-	  </widget>
-
 	  <widget>
 	    <class>GtkMenuItem</class>
 	    <name>separator3</name>
@@ -441,8 +470,8 @@
       <name>main_toolbar</name>
       <orientation>GTK_ORIENTATION_HORIZONTAL</orientation>
       <type>GTK_TOOLBAR_ICONS</type>
-      <space_size>5</space_size>
-      <space_style>GTK_TOOLBAR_SPACE_LINE</space_style>
+      <space_size>15</space_size>
+      <space_style>GTK_TOOLBAR_SPACE_EMPTY</space_style>
       <relief>GTK_RELIEF_NORMAL</relief>
       <tooltips>True</tooltips>
       <child>
@@ -452,15 +481,126 @@
       </child>
 
       <widget>
-	<class>Placeholder</class>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>load_button</name>
+	<tooltip>Load MIX program</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_file_open_activate</handler>
+	  <last_modification_time>Wed, 15 Aug 2001 00:10:04 GMT</last_modification_time>
+	</signal>
+	<label>Load</label>
+	<icon>open.xpm</icon>
       </widget>
 
       <widget>
-	<class>Placeholder</class>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>compile_button</name>
+	<tooltip>Compile MIXAL source</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_file_compile_activate</handler>
+	  <last_modification_time>Wed, 15 Aug 2001 00:11:29 GMT</last_modification_time>
+	</signal>
+	<label>Build</label>
+	<icon>compile.xpm</icon>
       </widget>
 
       <widget>
-	<class>Placeholder</class>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>edit_button</name>
+	<tooltip>Edit MIXAL source</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_file_edit_activate</handler>
+	  <last_modification_time>Wed, 15 Aug 2001 00:11:03 GMT</last_modification_time>
+	</signal>
+	<label>Edit</label>
+	<icon>edit.xpm</icon>
+      </widget>
+
+      <widget>
+	<class>GtkVSeparator</class>
+	<name>vseparator6</name>
+      </widget>
+
+      <widget>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>run_button</name>
+	<tooltip>Run</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_debug_run_activate</handler>
+	  <last_modification_time>Wed, 15 Aug 2001 00:12:03 GMT</last_modification_time>
+	</signal>
+	<label>Run</label>
+	<icon>run.xpm</icon>
+	<child>
+	  <new_group>True</new_group>
+	</child>
+      </widget>
+
+      <widget>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>step_button</name>
+	<tooltip>Next</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_debug_next_activate</handler>
+	  <last_modification_time>Wed, 15 Aug 2001 00:12:36 GMT</last_modification_time>
+	</signal>
+	<label>Step</label>
+	<icon>next.xpm</icon>
+      </widget>
+
+      <widget>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>clear_button</name>
+	<tooltip>Clear breakpoints</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_clear_breakpoints_activate</handler>
+	  <last_modification_time>Thu, 16 Aug 2001 12:58:32 GMT</last_modification_time>
+	</signal>
+	<label>Clear</label>
+	<icon>clear.xpm</icon>
+      </widget>
+
+      <widget>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>symbols_button</name>
+	<tooltip>Symbol table</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_symbols_activate</handler>
+	  <last_modification_time>Thu, 16 Aug 2001 13:02:32 GMT</last_modification_time>
+	</signal>
+	<label>Symbols</label>
+	<icon>symbols.xpm</icon>
+      </widget>
+
+      <widget>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>button26</name>
+	<tooltip>Split windows</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_split_windows_activate</handler>
+	  <last_modification_time>Thu, 16 Aug 2001 22:18:03 GMT</last_modification_time>
+	</signal>
+	<label>Split</label>
+	<icon>splitw.xpm</icon>
+	<child>
+	  <new_group>True</new_group>
+	</child>
       </widget>
     </widget>
 
@@ -932,32 +1072,6 @@
 	    <ypad>0</ypad>
 	  </widget>
 
-	  <widget>
-	    <class>GtkButton</class>
-	    <name>loc_arrow</name>
-	    <x>346</x>
-	    <y>202</y>
-	    <width>29</width>
-	    <height>18</height>
-	    <can_focus>True</can_focus>
-	    <signal>
-	      <name>clicked</name>
-	      <handler>on_loc_arrow_clicked</handler>
-	      <last_modification_time>Fri, 09 Mar 2001 20:18:22 GMT</last_modification_time>
-	    </signal>
-	    <label>-&gt;</label>
-	    <relief>GTK_RELIEF_NONE</relief>
-	  </widget>
-
-	  <widget>
-	    <class>GtkHSeparator</class>
-	    <name>hseparator1</name>
-	    <x>8</x>
-	    <y>232</y>
-	    <width>377</width>
-	    <height>16</height>
-	  </widget>
-
 	  <widget>
 	    <class>GtkLabel</class>
 	    <name>program_label</name>
@@ -1156,6 +1270,43 @@
 	    <width>627</width>
 	    <height>16</height>
 	  </widget>
+
+	  <widget>
+	    <class>GtkButton</class>
+	    <name>loc_arrow</name>
+	    <x>346</x>
+	    <y>200</y>
+	    <width>30</width>
+	    <height>23</height>
+	    <tooltip>View loc address</tooltip>
+	    <can_focus>True</can_focus>
+	    <signal>
+	      <name>clicked</name>
+	      <handler>on_loc_arrow_clicked</handler>
+	      <last_modification_time>Thu, 16 Aug 2001 21:01:57 GMT</last_modification_time>
+	    </signal>
+	    <relief>GTK_RELIEF_NORMAL</relief>
+
+	    <widget>
+	      <class>GtkPixmap</class>
+	      <name>pixmap1</name>
+	      <filename>jump.xpm</filename>
+	      <xalign>0.5</xalign>
+	      <yalign>0.5</yalign>
+	      <xpad>0</xpad>
+	      <ypad>0</ypad>
+	      <build_insensitive>True</build_insensitive>
+	    </widget>
+	  </widget>
+
+	  <widget>
+	    <class>GtkHSeparator</class>
+	    <name>hseparator1</name>
+	    <x>8</x>
+	    <y>232</y>
+	    <width>377</width>
+	    <height>16</height>
+	  </widget>
 	</widget>
 
 	<widget>
@@ -1388,7 +1539,7 @@
   <position>GTK_WIN_POS_NONE</position>
   <modal>False</modal>
   <default_width>570</default_width>
-  <default_height>215</default_height>
+  <default_height>235</default_height>
   <allow_shrink>True</allow_shrink>
   <allow_grow>True</allow_grow>
   <auto_shrink>True</auto_shrink>
@@ -1548,6 +1699,37 @@
 	    <active>False</active>
 	    <always_show_toggle>True</always_show_toggle>
 	  </widget>
+
+	  <widget>
+	    <class>GtkCheckMenuItem</class>
+	    <name>show_toolbars</name>
+	    <signal>
+	      <name>toggled</name>
+	      <handler>on_show_toolbars_toggled</handler>
+	      <last_modification_time>Thu, 16 Aug 2001 20:29:52 GMT</last_modification_time>
+	    </signal>
+	    <label>_Toolbars</label>
+	    <active>False</active>
+	    <always_show_toggle>True</always_show_toggle>
+	  </widget>
+
+	  <widget>
+	    <class>GtkMenuItem</class>
+	    <name>separator4</name>
+	    <right_justify>False</right_justify>
+	  </widget>
+
+	  <widget>
+	    <class>GtkMenuItem</class>
+	    <name>one_window</name>
+	    <signal>
+	      <name>activate</name>
+	      <handler>on_one_window_activate</handler>
+	      <last_modification_time>Thu, 16 Aug 2001 21:43:42 GMT</last_modification_time>
+	    </signal>
+	    <label>One _window</label>
+	    <right_justify>False</right_justify>
+	  </widget>
 	</widget>
       </widget>
 
@@ -1773,25 +1955,6 @@
 	    <right_justify>False</right_justify>
 	  </widget>
 
-	  <widget>
-	    <class>GtkCheckMenuItem</class>
-	    <name>split_windows</name>
-	    <signal>
-	      <name>toggled</name>
-	      <handler>on_split_windows_toggled</handler>
-	      <last_modification_time>Sun, 24 Jun 2001 12:26:00 GMT</last_modification_time>
-	    </signal>
-	    <label>Split _windows</label>
-	    <active>True</active>
-	    <always_show_toggle>True</always_show_toggle>
-	  </widget>
-
-	  <widget>
-	    <class>GtkMenuItem</class>
-	    <name>separator3</name>
-	    <right_justify>False</right_justify>
-	  </widget>
-
 	  <widget>
 	    <class>GtkMenuItem</class>
 	    <name>save</name>
@@ -1844,17 +2007,187 @@
 	  </widget>
 	</widget>
       </widget>
-    </widget>
+    </widget>
+
+    <widget>
+      <class>GtkStatusbar</class>
+      <name>main_statusbar</name>
+      <child>
+	<padding>0</padding>
+	<expand>False</expand>
+	<fill>False</fill>
+	<pack>GTK_PACK_END</pack>
+      </child>
+    </widget>
+
+    <widget>
+      <class>GtkToolbar</class>
+      <name>main_toolbar</name>
+      <orientation>GTK_ORIENTATION_HORIZONTAL</orientation>
+      <type>GTK_TOOLBAR_ICONS</type>
+      <space_size>15</space_size>
+      <space_style>GTK_TOOLBAR_SPACE_EMPTY</space_style>
+      <relief>GTK_RELIEF_NORMAL</relief>
+      <tooltips>True</tooltips>
+      <child>
+	<padding>0</padding>
+	<expand>False</expand>
+	<fill>False</fill>
+      </child>
+
+      <widget>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>button4</name>
+	<tooltip>Load MIX program</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_file_open_activate</handler>
+	  <last_modification_time>Wed, 15 Aug 2001 00:10:04 GMT</last_modification_time>
+	</signal>
+	<label>Load</label>
+	<icon>open.xpm</icon>
+      </widget>
+
+      <widget>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>button5</name>
+	<tooltip>Compile MIXAL source</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_file_compile_activate</handler>
+	  <last_modification_time>Wed, 15 Aug 2001 00:11:29 GMT</last_modification_time>
+	</signal>
+	<label>Build</label>
+	<icon>compile.xpm</icon>
+      </widget>
+
+      <widget>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>button6</name>
+	<tooltip>Edit MIXAL source</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_file_edit_activate</handler>
+	  <last_modification_time>Wed, 15 Aug 2001 00:11:03 GMT</last_modification_time>
+	</signal>
+	<label>Edit</label>
+	<icon>edit.xpm</icon>
+      </widget>
+
+      <widget>
+	<class>GtkVSeparator</class>
+	<name>vseparator7</name>
+      </widget>
+
+      <widget>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>button7</name>
+	<tooltip>Run</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_debug_run_activate</handler>
+	  <last_modification_time>Wed, 15 Aug 2001 00:12:03 GMT</last_modification_time>
+	</signal>
+	<label>Run</label>
+	<icon>run.xpm</icon>
+	<child>
+	  <new_group>True</new_group>
+	</child>
+      </widget>
+
+      <widget>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>button8</name>
+	<tooltip>Next</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_debug_next_activate</handler>
+	  <last_modification_time>Wed, 15 Aug 2001 00:12:36 GMT</last_modification_time>
+	</signal>
+	<label>Step</label>
+	<icon>next.xpm</icon>
+      </widget>
+
+      <widget>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>button9</name>
+	<tooltip>Clear breakpoints</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_clear_breakpoints_activate</handler>
+	  <last_modification_time>Thu, 16 Aug 2001 12:58:32 GMT</last_modification_time>
+	</signal>
+	<label>Clear</label>
+	<icon>clear.xpm</icon>
+      </widget>
+
+      <widget>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>button10</name>
+	<tooltip>Symbol table</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_symbols_activate</handler>
+	  <last_modification_time>Thu, 16 Aug 2001 13:02:32 GMT</last_modification_time>
+	</signal>
+	<label>Symbols</label>
+	<icon>symbols.xpm</icon>
+      </widget>
+
+      <widget>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>button24</name>
+	<tooltip>Command log font</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_log_font_activate</handler>
+	  <last_modification_time>Thu, 16 Aug 2001 15:04:53 GMT</last_modification_time>
+	</signal>
+	<label>Font</label>
+	<icon>font.xpm</icon>
+	<child>
+	  <new_group>True</new_group>
+	</child>
+      </widget>
+
+      <widget>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>button25</name>
+	<tooltip>Command prompt font</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_prompt_font_activate</handler>
+	  <last_modification_time>Thu, 16 Aug 2001 15:05:48 GMT</last_modification_time>
+	</signal>
+	<label>Font</label>
+	<icon>fontl.xpm</icon>
+      </widget>
 
-    <widget>
-      <class>GtkStatusbar</class>
-      <name>main_statusbar</name>
-      <child>
-	<padding>0</padding>
-	<expand>False</expand>
-	<fill>False</fill>
-	<pack>GTK_PACK_END</pack>
-      </child>
+      <widget>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>button27</name>
+	<tooltip>One window</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_one_window_activate</handler>
+	  <last_modification_time>Thu, 16 Aug 2001 22:19:55 GMT</last_modification_time>
+	</signal>
+	<label>One window</label>
+	<icon>onew.xpm</icon>
+	<child>
+	  <new_group>True</new_group>
+	</child>
+      </widget>
     </widget>
 
     <widget>
@@ -3952,23 +4285,6 @@
       <ypad>0</ypad>
     </widget>
 
-    <widget>
-      <class>GtkButton</class>
-      <name>loc_arrow</name>
-      <x>346</x>
-      <y>202</y>
-      <width>29</width>
-      <height>18</height>
-      <can_focus>True</can_focus>
-      <signal>
-	<name>clicked</name>
-	<handler>on_loc_arrow_clicked</handler>
-	<last_modification_time>Fri, 09 Mar 2001 20:18:22 GMT</last_modification_time>
-      </signal>
-      <label>-&gt;</label>
-      <relief>GTK_RELIEF_NONE</relief>
-    </widget>
-
     <widget>
       <class>GtkHSeparator</class>
       <name>hseparator1</name>
@@ -4026,24 +4342,6 @@
       <ypad>0</ypad>
     </widget>
 
-    <widget>
-      <class>GtkCheckButton</class>
-      <name>over_toggle</name>
-      <x>288</x>
-      <y>168</y>
-      <width>88</width>
-      <height>16</height>
-      <can_focus>True</can_focus>
-      <signal>
-	<name>toggled</name>
-	<handler>on_overflow_toggled</handler>
-	<last_modification_time>Tue, 06 Mar 2001 21:32:39 GMT</last_modification_time>
-      </signal>
-      <label>Overflow</label>
-      <active>False</active>
-      <draw_indicator>True</draw_indicator>
-    </widget>
-
     <widget>
       <class>GtkRadioButton</class>
       <name>greater_radio</name>
@@ -4176,6 +4474,52 @@
       <width>627</width>
       <height>16</height>
     </widget>
+
+    <widget>
+      <class>GtkButton</class>
+      <name>loc_arrow_split</name>
+      <x>346</x>
+      <y>200</y>
+      <width>30</width>
+      <height>23</height>
+      <tooltip>View loc address</tooltip>
+      <can_focus>True</can_focus>
+      <signal>
+	<name>clicked</name>
+	<handler>on_loc_arrow_clicked</handler>
+	<last_modification_time>Thu, 16 Aug 2001 21:01:57 GMT</last_modification_time>
+      </signal>
+      <relief>GTK_RELIEF_NORMAL</relief>
+
+      <widget>
+	<class>GtkPixmap</class>
+	<name>pixmap2</name>
+	<filename>jump.xpm</filename>
+	<xalign>0.5</xalign>
+	<yalign>0.5</yalign>
+	<xpad>0</xpad>
+	<ypad>0</ypad>
+	<build_insensitive>True</build_insensitive>
+      </widget>
+    </widget>
+
+    <widget>
+      <class>GtkCheckButton</class>
+      <name>over_toggle</name>
+      <x>288</x>
+      <y>168</y>
+      <width>88</width>
+      <height>16</height>
+      <can_focus>True</can_focus>
+      <signal>
+	<name>toggled</name>
+	<handler>on_overflow_toggled</handler>
+	<last_modification_time>Tue, 06 Mar 2001 21:32:39 GMT</last_modification_time>
+      </signal>
+      <label>Overflow</label>
+      <active>False</active>
+      <draw_indicator>True</draw_indicator>
+    </widget>
   </widget>
 </widget>
 
@@ -4208,74 +4552,205 @@
   <type>GTK_WINDOW_TOPLEVEL</type>
   <position>GTK_WIN_POS_NONE</position>
   <modal>False</modal>
-  <default_width>550</default_width>
-  <default_height>200</default_height>
+  <default_width>570</default_width>
+  <default_height>225</default_height>
   <allow_shrink>True</allow_shrink>
   <allow_grow>True</allow_grow>
   <auto_shrink>False</auto_shrink>
 
   <widget>
-    <class>GtkScrolledWindow</class>
-    <name>scrolledwindow27</name>
-    <hscrollbar_policy>GTK_POLICY_ALWAYS</hscrollbar_policy>
-    <vscrollbar_policy>GTK_POLICY_AUTOMATIC</vscrollbar_policy>
-    <hupdate_policy>GTK_UPDATE_CONTINUOUS</hupdate_policy>
-    <vupdate_policy>GTK_UPDATE_CONTINUOUS</vupdate_policy>
+    <class>GtkVBox</class>
+    <name>vbox5</name>
+    <homogeneous>False</homogeneous>
+    <spacing>0</spacing>
 
     <widget>
-      <class>GtkCList</class>
-      <name>mixal_clist</name>
-      <tooltip>Click to toggle breakpoint</tooltip>
-      <can_focus>True</can_focus>
-      <events>GDK_POINTER_MOTION_MASK</events>
-      <signal>
-	<name>select_row</name>
-	<handler>on_mixal_select_row</handler>
-	<after>True</after>
-	<last_modification_time>Sun, 11 Mar 2001 01:15:28 GMT</last_modification_time>
-      </signal>
-      <signal>
-	<name>motion_notify_event</name>
-	<handler>on_mixal_motion_notify_event</handler>
-	<last_modification_time>Sun, 17 Jun 2001 19:44:48 GMT</last_modification_time>
-      </signal>
-      <signal>
-	<name>leave_notify_event</name>
-	<handler>on_mixal_leave_notify_event</handler>
-	<last_modification_time>Sat, 23 Jun 2001 22:26:17 GMT</last_modification_time>
-      </signal>
-      <columns>2</columns>
-      <column_widths>152,80</column_widths>
-      <selection_mode>GTK_SELECTION_SINGLE</selection_mode>
-      <show_titles>True</show_titles>
-      <shadow_type>GTK_SHADOW_IN</shadow_type>
+      <class>GtkToolbar</class>
+      <name>mixal_toolbar</name>
+      <border_width>2</border_width>
+      <orientation>GTK_ORIENTATION_HORIZONTAL</orientation>
+      <type>GTK_TOOLBAR_ICONS</type>
+      <space_size>15</space_size>
+      <space_style>GTK_TOOLBAR_SPACE_EMPTY</space_style>
+      <relief>GTK_RELIEF_NORMAL</relief>
+      <tooltips>True</tooltips>
+      <child>
+	<padding>0</padding>
+	<expand>False</expand>
+	<fill>False</fill>
+      </child>
 
       <widget>
-	<class>GtkLabel</class>
-	<child_name>CList:title</child_name>
-	<name>label213</name>
-	<label>memory</label>
-	<justify>GTK_JUSTIFY_CENTER</justify>
-	<wrap>False</wrap>
-	<xalign>0.5</xalign>
-	<yalign>0.5</yalign>
-	<xpad>0</xpad>
-	<ypad>0</ypad>
+	<class>GtkVSeparator</class>
+	<name>vseparator8</name>
       </widget>
 
       <widget>
-	<class>GtkLabel</class>
-	<child_name>CList:title</child_name>
-	<name>label214</name>
-	<label>source</label>
-	<justify>GTK_JUSTIFY_CENTER</justify>
-	<wrap>False</wrap>
-	<xalign>0.5</xalign>
-	<yalign>0.5</yalign>
-	<xpad>0</xpad>
-	<ypad>0</ypad>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>button14</name>
+	<tooltip>Run</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_debug_run_activate</handler>
+	  <last_modification_time>Wed, 15 Aug 2001 00:12:03 GMT</last_modification_time>
+	</signal>
+	<label>Run</label>
+	<icon>run.xpm</icon>
+      </widget>
+
+      <widget>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>button15</name>
+	<tooltip>Next</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_debug_next_activate</handler>
+	  <last_modification_time>Wed, 15 Aug 2001 00:12:36 GMT</last_modification_time>
+	</signal>
+	<label>Step</label>
+	<icon>next.xpm</icon>
+      </widget>
+
+      <widget>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>button16</name>
+	<tooltip>Clear breakpoints</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_clear_breakpoints_activate</handler>
+	  <last_modification_time>Thu, 16 Aug 2001 12:58:32 GMT</last_modification_time>
+	</signal>
+	<label>Clear</label>
+	<icon>clear.xpm</icon>
+      </widget>
+
+      <widget>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>button18</name>
+	<tooltip>Symbol table</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_symbols_activate</handler>
+	  <last_modification_time>Thu, 16 Aug 2001 13:02:32 GMT</last_modification_time>
+	</signal>
+	<label>Symbols</label>
+	<icon>symbols.xpm</icon>
+      </widget>
+
+      <widget>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>button22</name>
+	<tooltip>Source code font</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_mixal_font_activate</handler>
+	  <last_modification_time>Thu, 16 Aug 2001 13:32:22 GMT</last_modification_time>
+	</signal>
+	<label>Font</label>
+	<icon>font.xpm</icon>
+	<child>
+	  <new_group>True</new_group>
+	</child>
+      </widget>
+
+      <widget>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>button23</name>
+	<tooltip>Colors</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_colors_activate</handler>
+	  <last_modification_time>Thu, 16 Aug 2001 13:36:24 GMT</last_modification_time>
+	</signal>
+	<label>Colors</label>
+	<icon>colors.xpm</icon>
+      </widget>
+    </widget>
+
+    <widget>
+      <class>GtkScrolledWindow</class>
+      <name>scrolledwindow27</name>
+      <hscrollbar_policy>GTK_POLICY_ALWAYS</hscrollbar_policy>
+      <vscrollbar_policy>GTK_POLICY_AUTOMATIC</vscrollbar_policy>
+      <hupdate_policy>GTK_UPDATE_CONTINUOUS</hupdate_policy>
+      <vupdate_policy>GTK_UPDATE_CONTINUOUS</vupdate_policy>
+      <child>
+	<padding>0</padding>
+	<expand>True</expand>
+	<fill>True</fill>
+      </child>
+
+      <widget>
+	<class>GtkCList</class>
+	<name>mixal_clist</name>
+	<tooltip>Click to toggle breakpoint</tooltip>
+	<can_focus>True</can_focus>
+	<events>GDK_POINTER_MOTION_MASK</events>
+	<signal>
+	  <name>select_row</name>
+	  <handler>on_mixal_select_row</handler>
+	  <after>True</after>
+	  <last_modification_time>Sun, 11 Mar 2001 01:15:28 GMT</last_modification_time>
+	</signal>
+	<signal>
+	  <name>motion_notify_event</name>
+	  <handler>on_mixal_motion_notify_event</handler>
+	  <last_modification_time>Sun, 17 Jun 2001 19:44:48 GMT</last_modification_time>
+	</signal>
+	<signal>
+	  <name>leave_notify_event</name>
+	  <handler>on_mixal_leave_notify_event</handler>
+	  <last_modification_time>Sat, 23 Jun 2001 22:26:17 GMT</last_modification_time>
+	</signal>
+	<columns>2</columns>
+	<column_widths>152,80</column_widths>
+	<selection_mode>GTK_SELECTION_SINGLE</selection_mode>
+	<show_titles>True</show_titles>
+	<shadow_type>GTK_SHADOW_IN</shadow_type>
+
+	<widget>
+	  <class>GtkLabel</class>
+	  <child_name>CList:title</child_name>
+	  <name>label213</name>
+	  <label>memory</label>
+	  <justify>GTK_JUSTIFY_CENTER</justify>
+	  <wrap>False</wrap>
+	  <xalign>0.5</xalign>
+	  <yalign>0.5</yalign>
+	  <xpad>0</xpad>
+	  <ypad>0</ypad>
+	</widget>
+
+	<widget>
+	  <class>GtkLabel</class>
+	  <child_name>CList:title</child_name>
+	  <name>label214</name>
+	  <label>source</label>
+	  <justify>GTK_JUSTIFY_CENTER</justify>
+	  <wrap>False</wrap>
+	  <xalign>0.5</xalign>
+	  <yalign>0.5</yalign>
+	  <xpad>0</xpad>
+	  <ypad>0</ypad>
+	</widget>
       </widget>
     </widget>
+
+    <widget>
+      <class>GtkStatusbar</class>
+      <name>statusbar1</name>
+      <child>
+	<padding>0</padding>
+	<expand>False</expand>
+	<fill>False</fill>
+      </child>
+    </widget>
   </widget>
 </widget>
 
@@ -4314,6 +4789,65 @@
     <homogeneous>False</homogeneous>
     <spacing>0</spacing>
 
+    <widget>
+      <class>GtkToolbar</class>
+      <name>devices_toolbar</name>
+      <border_width>2</border_width>
+      <orientation>GTK_ORIENTATION_HORIZONTAL</orientation>
+      <type>GTK_TOOLBAR_ICONS</type>
+      <space_size>5</space_size>
+      <space_style>GTK_TOOLBAR_SPACE_EMPTY</space_style>
+      <relief>GTK_RELIEF_NORMAL</relief>
+      <tooltips>True</tooltips>
+      <child>
+	<padding>0</padding>
+	<expand>False</expand>
+	<fill>False</fill>
+      </child>
+
+      <widget>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>devdir_button</name>
+	<tooltip>Device directory</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_devdir_activate</handler>
+	  <last_modification_time>Thu, 16 Aug 2001 13:14:09 GMT</last_modification_time>
+	</signal>
+	<label>Device dir</label>
+	<icon>open.xpm</icon>
+      </widget>
+
+      <widget>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>output_button</name>
+	<tooltip>Output format</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_devform_activate</handler>
+	  <last_modification_time>Thu, 16 Aug 2001 14:46:32 GMT</last_modification_time>
+	</signal>
+	<label>Output</label>
+	<icon>output.xpm</icon>
+      </widget>
+
+      <widget>
+	<class>GtkButton</class>
+	<child_name>Toolbar:button</child_name>
+	<name>button21</name>
+	<tooltip>Output font</tooltip>
+	<signal>
+	  <name>clicked</name>
+	  <handler>on_devices_font_activate</handler>
+	  <last_modification_time>Thu, 16 Aug 2001 13:31:44 GMT</last_modification_time>
+	</signal>
+	<label>Font</label>
+	<icon>font.xpm</icon>
+      </widget>
+    </widget>
+
     <widget>
       <class>GtkNotebook</class>
       <name>devices_notebook</name>
-- 
cgit v1.2.3