- patch for gtkmozembed

Changed files:
    dotnet-gecko-sharp-gtk-compat.patch -> 1.1

diff --git a/dotnet-gecko-sharp-gtk-compat.patch b/dotnet-gecko-sharp-gtk-compat.patch
new file mode 100644 (file)
index 0000000..6d15788
--- /dev/null
+++ b/dotnet-gecko-sharp-gtk-compat.patch
@@ -0,0 +1,18 @@
+diff -aur gecko-sharp-2.0-0.7-orig/gtkmozembed/WebControl.custom gecko-sharp-2.0-0.7/gtkmozembed/WebControl.custom
+--- gecko-sharp-2.0-0.7-orig/gtkmozembed/WebControl.custom     2005-02-06 16:53:36.000000000 -0500
++++ gecko-sharp-2.0-0.7/gtkmozembed/WebControl.custom  2005-05-07 09:16:59.000000000 -0400
+@@ -72,12 +72,12 @@
+ 
+ public WebControl(string aPath, string aDir) : base (IntPtr.Zero)
+ {
+-      gtk_moz_embed_set_profile_path(aPath, aDir);
++      SetProfilePath (aPath, aDir);
+       Raw = gtk_moz_embed_new ();
+ }
+ 
+ public WebControl() : base (IntPtr.Zero)
+ {
+-      gtk_moz_embed_set_profile_path("gecko-sharp", "DummyProfile");
++      SetProfilePath ("gecko-sharp", "DummyProfile");
+       Raw = gtk_moz_embed_new();
+ }