gnome-settings-daemon r218 - in trunk: . plugins/media-keys



Author: jensg
Date: Thu Mar 13 17:31:10 2008
New Revision: 218
URL: http://svn.gnome.org/viewvc/gnome-settings-daemon?rev=218&view=rev

Log:
2008-03-13  Jens Granseuer  <jensgr gmx net>

	Patch by: Danny Baumann <dannybaumann web de>

	* plugins/media-keys/gsd-media-keys-window.c:
	(gsd_media_keys_window_new): set window type hint on the volume popup
	(bug #522232)


Modified:
   trunk/ChangeLog
   trunk/plugins/media-keys/gsd-media-keys-window.c

Modified: trunk/plugins/media-keys/gsd-media-keys-window.c
==============================================================================
--- trunk/plugins/media-keys/gsd-media-keys-window.c	(original)
+++ trunk/plugins/media-keys/gsd-media-keys-window.c	Thu Mar 13 17:31:10 2008
@@ -915,6 +915,7 @@
 
         object = g_object_new (GSD_TYPE_MEDIA_KEYS_WINDOW,
                                "type", GTK_WINDOW_POPUP,
+                               "type-hint", GDK_WINDOW_TYPE_HINT_NOTIFICATION,
                                "skip-taskbar-hint", TRUE,
                                "skip-pager-hint", TRUE,
                                "focus-on-map", FALSE,



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]