update the user-interaction timestamp when running a (non-interactive) action on...

[chaz/openbox] / openbox / event.h

diff --git a/openbox/event.h b/openbox/event.h
index f0e2d397d2c6d0a01512e73c2c2900138318a19a..a0b7b504a2d6ef7e9fe8f396799b949caa4eb140 100644 (file)
--- 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