diff options
Diffstat (limited to 'extra/mono-tools/gunit.patch')
| -rw-r--r-- | extra/mono-tools/gunit.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/extra/mono-tools/gunit.patch b/extra/mono-tools/gunit.patch new file mode 100644 index 000000000..881bf248b --- /dev/null +++ b/extra/mono-tools/gunit.patch @@ -0,0 +1,11 @@ +--- gnunit/src/main.cs 2006-10-04 09:13:30.000000000 +0200 ++++ gnunit/src/main.cs.patched 2006-11-23 09:10:21.000000000 +0100 +@@ -563,7 +563,7 @@ + } + + // Window event handlers +- void OnWindowDelete (object sender, EventArgs args) ++ void OnWindowDelete (object sender, Gtk.DeleteEventArgs args) + { + OnQuitActivate (sender, args); + } |