Florian Müllner 52c24c5c71 window: Add "skip-taskbar" property
We currently only have a method to query the skip-taskbar hint.
Add a corresponding property to allow listening for change
notifications.

https://bugzilla.gnome.org/show_bug.cgi?id=723307
2014-01-31 13:33:21 +01:00
..
2014-01-16 11:03:50 -05:00
2014-01-31 13:33:21 +01:00
2014-01-16 11:03:50 -05:00
2011-11-11 20:26:38 +01:00
2009-06-16 14:17:10 -04:00