Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Hutchinson <mhutchinson@novell.com>2010-11-03 21:26:38 +0300
committerMichael Hutchinson <mhutchinson@novell.com>2010-11-03 21:26:38 +0300
commit41312c5cf346d69197b0bc14ed41142cb94657bb (patch)
tree47d008e4a1eefb4eb38f76ad3a596cd413dd1454 /main/src/addins/GnomePlatform
parent228d93d422e81c1b4c0c04a15081b16431830e41 (diff)
[Gnome] Hopefully fix build
Diffstat (limited to 'main/src/addins/GnomePlatform')
-rw-r--r--main/src/addins/GnomePlatform/Gio.cs2
-rw-r--r--main/src/addins/GnomePlatform/GnomePlatform.cs2
2 files changed, 2 insertions, 2 deletions
diff --git a/main/src/addins/GnomePlatform/Gio.cs b/main/src/addins/GnomePlatform/Gio.cs
index e2dcb42aed..a60ee2534a 100644
--- a/main/src/addins/GnomePlatform/Gio.cs
+++ b/main/src/addins/GnomePlatform/Gio.cs
@@ -101,7 +101,7 @@ namespace MonoDevelop.Platform {
return ret == IntPtr.Zero ? null : AppFromAppInfoPtr (ret, null);
}
- public static System.Collections.IList<DesktopApplication> GetAllForType (string mime_type)
+ public static System.Collections.Generic.IList<DesktopApplication> GetAllForType (string mime_type)
{
var def = GetDefaultForType (mime_type);
diff --git a/main/src/addins/GnomePlatform/GnomePlatform.cs b/main/src/addins/GnomePlatform/GnomePlatform.cs
index a87658a5d7..975ca850db 100644
--- a/main/src/addins/GnomePlatform/GnomePlatform.cs
+++ b/main/src/addins/GnomePlatform/GnomePlatform.cs
@@ -355,7 +355,7 @@ namespace MonoDevelop.Platform
get { return Id; }
}
- public abstract void Launch (params string[] files)
+ public override void Launch (params string[] files)
{
// TODO: implement all other cases
if (Command.IndexOf ("%f") != -1) {