diff options
| author | Guillaume Desmottes <guillaume.desmottes@collabora.co.uk> | 2010-05-19 14:04:56 +0200 |
|---|---|---|
| committer | Guillaume Desmottes <guillaume.desmottes@collabora.co.uk> | 2010-05-19 14:06:32 +0200 |
| commit | e67c4be5b75aa1fc087d8cf3852843cba7bf42a8 (patch) | |
| tree | 2fc45e91bac34b064b158f5499d502810ec50313 | |
| parent | 9f8767d32997508be5167221d81914f397277437 (diff) | |
ChannelRequest: make UserActionTime of type X_Server_Time
| -rw-r--r-- | spec/Channel_Request.xml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/spec/Channel_Request.xml b/spec/Channel_Request.xml index 4de78b40..422c4237 100644 --- a/spec/Channel_Request.xml +++ b/spec/Channel_Request.xml @@ -55,14 +55,11 @@ </property> <property name="UserActionTime" tp:name-for-bindings="User_Action_Time" - type="x" tp:type="Unix_Timestamp64" access="read"> + type="x" tp:type="X_Server_Time" access="read"> <tp:docstring xmlns="http://www.w3.org/1999/xhtml"> <p>The time at which user action occurred, or 0 if this channel request is for some reason not involving user action.</p> - <p>This corresponds to the _NET_WM_USER_TIME property in - <a href="http://standards.freedesktop.org/wm-spec/wm-spec-latest.html">EWMH</a>.</p> - <p>This property is set when the channel request is created, and can never change.</p> </tp:docstring> |