gui: shorten name

sbourdeauducq · sbourdeauducq · commit 2a60c7475ea6 · 2014-12-30T19:19:26.000+08:00
diff --git a/artiq/gui/tools.py b/artiq/gui/tools.py
@@ -8,6 +8,6 @@
 class Window(Gtk.Window):
     def __init__(self, *args, **kwargs):
         Gtk.Window.__init__(self, *args, **kwargs)
-        self.set_wmclass("ARTIQ GUI", "ARTIQ GUI")
+        self.set_wmclass("ARTIQ", "ARTIQ")
         self.set_icon_from_file(os.path.join(data_dir, "icon.png"))
         self.set_border_width(6)
