summaryrefslogtreecommitdiffhomepage
path: root/mixgtk/mixgtk.glade
diff options
context:
space:
mode:
Diffstat (limited to 'mixgtk/mixgtk.glade')
-rw-r--r--mixgtk/mixgtk.glade856
1 files changed, 695 insertions, 161 deletions
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>
@@ -143,6 +143,54 @@
<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>
<label>D_ebug</label>
<right_justify>False</right_justify>
@@ -359,25 +407,6 @@
<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>
<right_justify>False</right_justify>
</widget>
@@ -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>
@@ -933,32 +1073,6 @@
</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>
<x>184</x>
@@ -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>
@@ -1774,25 +1956,6 @@
</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>
<tooltip>Save current settings</tooltip>
@@ -1858,6 +2021,176 @@
</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>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>
<class>GtkVBox</class>
<name>vbox3</name>
<homogeneous>False</homogeneous>
@@ -3953,23 +4286,6 @@
</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>
@@ -4027,24 +4343,6 @@
</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>
<x>336</x>
@@ -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>
@@ -4315,6 +4790,65 @@
<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>
<can_focus>True</can_focus>