if no launch time is provided for an application, make one up.

[chaz/openbox] / openbox / event.h

diff --git a/openbox/event.h b/openbox/event.h
index ef0e416516afa4bea0ba09554e269d103874f528..4d9984e16c04ded47a499d047e9e6ba729092f3a 100644 (file)
--- a/openbox/event.h
+++ b/openbox/event.h
@@ -85,4 +85,7 @@ Time event_source_time(void);
 */
 void event_update_user_time(void);
 
+/*! Reset the timestamp for when the user has last used the focused window. */
+void event_reset_user_time(void);
+
 #endif