diff options
| author | Dana Jansens <danakj@orodu.net> | 2010-09-29 16:04:53 -0400 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2011-01-24 14:19:22 -0500 |
| commit | 5ff0d07aba5399e1c8eeb8064d1d800e78c4fe9b (patch) | |
| tree | 9397ca339b909aae35e7b308fdc1b35bb52cdf54 /openbox/event.h | |
| parent | d614bebf6a0c4b79d62cf4f703ee6a511fd0b904 (diff) | |
update the user-interaction timestamp when running a (non-interactive) action on the focused window
update it at the end of running actions instead of multiple times (once for
each action)
Diffstat (limited to 'openbox/event.h')
| -rw-r--r-- | openbox/event.h | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/openbox/event.h b/openbox/event.h index f0e2d397..a0b7b504 100644 --- a/openbox/event.h +++ b/openbox/event.h @@ -76,7 +76,13 @@ void event_reset_time(void); /*! A time at which an event happened that caused this current event to be generated. This is a user-provided time and not to be trusted. Returns CurrentTime if there was no source time provided. - */ +*/ Time event_source_time(void); +/*! Update the timestamp for when the user has last used the focused window. + This updates the timestamp to the time of the last event, given by + event_time(). +*/ +void event_update_user_time(void); + #endif |