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 | 40d4b16f3d253de036a7192da8fce63f99df5371 (patch) | |
| tree | bcc4f810672553cea01aaa8263329127f3b1f623 /mixgtk/mixgtk.glade | |
| parent | b08a27dca67a2e96b2d7fd194b1d5b6fd5b10529 (diff) | |
| download | mdk-40d4b16f3d253de036a7192da8fce63f99df5371.tar.gz mdk-40d4b16f3d253de036a7192da8fce63f99df5371.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> |