diff options
Diffstat (limited to 'mixgtk/mixgtk.glade')
-rw-r--r-- | mixgtk/mixgtk.glade | 156 |
1 files changed, 155 insertions, 1 deletions
diff --git a/mixgtk/mixgtk.glade b/mixgtk/mixgtk.glade index 8bb2211..2e227f4 100644 --- a/mixgtk/mixgtk.glade +++ b/mixgtk/mixgtk.glade @@ -204,6 +204,24 @@ <label>_Clear breakpoints</label> <right_justify>False</right_justify> </widget> + + <widget> + <class>GtkMenuItem</class> + <name>symbols</name> + <tooltip>Show the symbol table</tooltip> + <accelerator> + <modifiers>GDK_MOD1_MASK</modifiers> + <key>GDK_Y</key> + <signal>activate</signal> + </accelerator> + <signal> + <name>activate</name> + <handler>on_symbols_activate</handler> + <last_modification_time>Mon, 18 Jun 2001 22:17:06 GMT</last_modification_time> + </signal> + <label>_Symbols...</label> + <right_justify>False</right_justify> + </widget> </widget> </widget> @@ -357,7 +375,7 @@ </signal> <label>Save on _exit</label> <active>False</active> - <always_show_toggle>True</always_show_toggle> + <always_show_toggle>False</always_show_toggle> </widget> </widget> </widget> @@ -2754,4 +2772,140 @@ </widget> </widget> +<widget> + <class>GtkDialog</class> + <name>symbols_dialog</name> + <visible>False</visible> + <signal> + <name>delete_event</name> + <handler>gtk_widget_hide</handler> + <last_modification_time>Mon, 18 Jun 2001 21:10:39 GMT</last_modification_time> + </signal> + <signal> + <name>destroy_event</name> + <handler>gtk_widget_hide</handler> + <last_modification_time>Mon, 18 Jun 2001 21:10:53 GMT</last_modification_time> + </signal> + <signal> + <name>destroy</name> + <handler>gtk_widget_hide</handler> + <last_modification_time>Mon, 18 Jun 2001 21:11:08 GMT</last_modification_time> + </signal> + <title>Symbol table</title> + <type>GTK_WINDOW_DIALOG</type> + <position>GTK_WIN_POS_CENTER</position> + <modal>False</modal> + <default_width>350</default_width> + <default_height>265</default_height> + <allow_shrink>True</allow_shrink> + <allow_grow>True</allow_grow> + <auto_shrink>False</auto_shrink> + + <widget> + <class>GtkVBox</class> + <child_name>Dialog:vbox</child_name> + <name>dialog-vbox10</name> + <homogeneous>False</homogeneous> + <spacing>0</spacing> + + <widget> + <class>GtkHBox</class> + <child_name>Dialog:action_area</child_name> + <name>dialog-action_area10</name> + <border_width>10</border_width> + <homogeneous>True</homogeneous> + <spacing>5</spacing> + <child> + <padding>0</padding> + <expand>False</expand> + <fill>True</fill> + <pack>GTK_PACK_END</pack> + </child> + + <widget> + <class>GtkButton</class> + <name>button1</name> + <width>77</width> + <can_focus>True</can_focus> + <signal> + <name>clicked</name> + <handler>on_symbol_ok_clicked</handler> + <last_modification_time>Mon, 18 Jun 2001 21:10:02 GMT</last_modification_time> + </signal> + <label>_Close</label> + <relief>GTK_RELIEF_NORMAL</relief> + <child> + <padding>0</padding> + <expand>False</expand> + <fill>False</fill> + </child> + </widget> + </widget> + + <widget> + <class>GtkScrolledWindow</class> + <name>scrolledwindow26</name> + <hscrollbar_policy>GTK_POLICY_ALWAYS</hscrollbar_policy> + <vscrollbar_policy>GTK_POLICY_ALWAYS</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>symbols_clist</name> + <can_focus>True</can_focus> + <columns>3</columns> + <column_widths>80,112,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>label236</name> + <label>Symbol</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>label237</name> + <label>Decimal</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>label238</name> + <label>Word</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> +</widget> + </GTK-Interface> |