diff options
| author | Lubos Lunak <l.lunak@suse.cz> | 2006-08-10 16:22:18 +0000 |
|---|---|---|
| committer | Lubos Lunak <l.lunak@suse.cz> | 2006-08-10 16:22:18 +0000 |
| commit | a0805898e59c702dd517cdeda188d7a9b7d77766 (patch) | |
| tree | bb252f09568662515d7cd87836917c09ec50b679 | |
| parent | c9162feffbd09aec064ac21552049719a66587bc (diff) | |
| download | startup-notification-a0805898e59c702dd517cdeda188d7a9b7d77766.tar.gz | |
Commit a forgotten patch that was agreed on a long time ago on the wm-spec
list.
| -rw-r--r-- | doc/startup-notification.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/startup-notification.txt b/doc/startup-notification.txt index f79dc65..cf5b250 100644 --- a/doc/startup-notification.txt +++ b/doc/startup-notification.txt @@ -362,6 +362,10 @@ _NET_STARTUP_ID, UTF8_STRING The ID used for the startup sequence for the window. If set on a group leader window, applies to all application windows in that group that do not set their own _NET_STARTUP_ID. + + If a new value for the property is set, the window manager + should update the window's status accordingly (update its virtual + desktop, etc.). Launchee failures @@ -431,3 +435,5 @@ Changes since 0.1: - TIMESTAMP field is obsoleted by including the timestamp directly in the ID. - data from "change:" messages should be used even if they precede the matching "new:" message - added LAUNCHED_BY +- Explicitly mention that updating the _NET_STARTUP_ID property on a window should trigger + window manager's actions for the new startup notification again. |