diff options
Diffstat (limited to 'math/rascal/files/patch-grascal.cpp')
| -rw-r--r-- | math/rascal/files/patch-grascal.cpp | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/math/rascal/files/patch-grascal.cpp b/math/rascal/files/patch-grascal.cpp new file mode 100644 index 000000000000..4e885a2282e5 --- /dev/null +++ b/math/rascal/files/patch-grascal.cpp @@ -0,0 +1,11 @@ +--- grascal.cpp.orig Fri Jul 13 10:04:16 2001 ++++ grascal.cpp Fri Jul 13 10:05:23 2001 +@@ -91,7 +91,7 @@ + a.addMenu(new MenuFileSelect("/File/_Load","<control>L","Load Rascal File",rascal_load)); + a.addMenu(new MenuFileSelect("/File/_Save","<control>S","Save Rascal File",rascal_save)); + a.addMenu(new MenuSeparator("/File/sep1")); +- a.addMenu(new MenuGtkFunction("/File/_Quit","<control>Q",gtk_main_quit)); ++ a.addMenu(new MenuGtkFunction("/File/_Quit","<control>Q",(GtkItemFactoryCallback)gtk_main_quit)); + + a.addMenu(new MenuTop("/_Show")); + a.addMenu(new MenuSimpleSend("/Show/_Variables","","variables;\n")); |