[gnome-mines] Manually set WM_CLASS X property

[Michael Catanzaro <mcatanzaro src gnome org>]

commit 46c0f58b39f76f8974245c6ed5ebc0b197bbdfe4
Author: Michael Catanzaro <mcatanzaro gnome org>
Date:   Sat Aug 17 14:24:18 2013 -0500

    Manually set WM_CLASS X property
    
    GNOME Shell expects this to match a desktop file

 src/gnome-mines.vala |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/src/gnome-mines.vala b/src/gnome-mines.vala
index 4bf0ae8..e70807f 100644
--- a/src/gnome-mines.vala
+++ b/src/gnome-mines.vala
@@ -956,6 +956,9 @@ public class Mines : Gtk.Application
         Intl.bind_textdomain_codeset (GETTEXT_PACKAGE, "UTF-8");
         Intl.textdomain (GETTEXT_PACKAGE);
 
+        /* Required if the desktop file does not match the binary */
+        Environment.set_prgname ("gnomine");
+
         var context = new OptionContext (null);
         context.set_translation_domain (GETTEXT_PACKAGE);
         context.add_group (Gtk.get_option_group (true));