From: Friedrich Beckmann <friedrich.beckmann@gmx.de>
Date: Sun, 5 Oct 2014 20:07:23 +0000 (+0200)
Subject: gui: Set StartupNotify=false because Startup Notification does not work.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=f3f78a551004811d83c7066294402c93b1af56cc

gui: Set StartupNotify=false because Startup Notification does not work.
---

diff --git a/src/ui/gui/gen-dot-desktop.sh b/src/ui/gui/gen-dot-desktop.sh
index 9d1a8aff49..bb86c01f2c 100644
--- a/src/ui/gui/gen-dot-desktop.sh
+++ b/src/ui/gui/gen-dot-desktop.sh
@@ -46,4 +46,5 @@ printf 'Terminal=false%s\n'
 printf 'Type=Application%s\n'
 printf 'Categories=GTK;Education;Science;Math;%s\n'
 printf 'MimeType=application/x-spss-sav;application/x-spss-por;%s\n'
+printf 'StartupNotify=false%s\n'