From 2a60c7475ea6df9a955be056a15b5f8e737d50ed Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Tue, 30 Dec 2014 19:19:26 +0800
Subject: [PATCH] gui: shorten name

---
 artiq/gui/tools.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/artiq/gui/tools.py b/artiq/gui/tools.py
index 17012b29b..8e39f726e 100644
--- a/artiq/gui/tools.py
+++ b/artiq/gui/tools.py
@@ -8,6 +8,6 @@ data_dir = os.path.abspath(os.path.dirname(__file__))
 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)