diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-08 22:27:45 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-08 22:27:45 +0000 |
| commit | dcecb720e3f2409add20c2606d70260d41e23508 (patch) | |
| tree | fa6fb0357aaa5d5d535bd1a6f85e463e1ef7680b /mixgtk/mixgtk.glade | |
| parent | 8b066a1f0a6bc9d8cb9a44e6c45f5e97f505ebb1 (diff) | |
| download | mdk-dcecb720e3f2409add20c2606d70260d41e23508.tar.gz mdk-dcecb720e3f2409add20c2606d70260d41e23508.tar.bz2 | |
edit and compile menu entries added
Diffstat (limited to 'mixgtk/mixgtk.glade')
| -rw-r--r-- | mixgtk/mixgtk.glade | 48 |
1 files changed, 45 insertions, 3 deletions
diff --git a/mixgtk/mixgtk.glade b/mixgtk/mixgtk.glade index 5a74485..e33233a 100644 --- a/mixgtk/mixgtk.glade +++ b/mixgtk/mixgtk.glade @@ -81,6 +81,48 @@ <widget> <class>GtkMenuItem</class> + <name>edit</name> + <tooltip>Edit a MIXAL source file</tooltip> + <accelerator> + <modifiers>GDK_MOD1_MASK</modifiers> + <key>GDK_F4</key> + <signal>activate</signal> + </accelerator> + <signal> + <name>activate</name> + <handler>on_file_edit_activate</handler> + <last_modification_time>Fri, 08 Jun 2001 21:11:13 GMT</last_modification_time> + </signal> + <label>_Edit...</label> + <right_justify>False</right_justify> + </widget> + + <widget> + <class>GtkMenuItem</class> + <name>compile</name> + <tooltip>Compile a MIXAL source file</tooltip> + <accelerator> + <modifiers>GDK_MOD1_MASK</modifiers> + <key>GDK_F5</key> + <signal>activate</signal> + </accelerator> + <signal> + <name>activate</name> + <handler>on_file_compile_activate</handler> + <last_modification_time>Fri, 08 Jun 2001 21:11:33 GMT</last_modification_time> + </signal> + <label>_Compile...</label> + <right_justify>False</right_justify> + </widget> + + <widget> + <class>GtkMenuItem</class> + <name>separator2</name> + <right_justify>False</right_justify> + </widget> + + <widget> + <class>GtkMenuItem</class> <name>file_exit</name> <tooltip>Exit application</tooltip> <accelerator> @@ -1701,16 +1743,16 @@ <x>0</x> <y>7</y> <width>16</width> - <height>83</height> + <height>81</height> </widget> <widget> <class>GtkVSeparator</class> <name>vseparator5</name> - <x>352</x> + <x>354</x> <y>8</y> <width>16</width> - <height>83</height> + <height>81</height> </widget> </widget> </widget> |