gnome-settings-daemon r218 - in trunk: . plugins/media-keys
- From: jensg svn gnome org
- To: svn-commits-list gnome org
- Subject: gnome-settings-daemon r218 - in trunk: . plugins/media-keys
- Date: Thu, 13 Mar 2008 17:31:11 +0000 (GMT)
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]