diff options
| author | Dana Jansens <danakj@orodu.net> | 2010-05-17 20:10:06 -0400 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2010-05-17 20:10:31 -0400 |
| commit | 9a826d8c3d61150ddd72c621aab870d4bfe4594f (patch) | |
| tree | 45a50d72d37cce90b353ae94c7caa6565d769b9a /openbox/event.h | |
| parent | ab7673c8167d94bdb93bd9905d6265dd3bf727b3 (diff) | |
fix focus when starting up, especially when replacing another instance of openbox
adds a function event_reset_time() that forces event_time() to look for a new (future) timestamp
Diffstat (limited to 'openbox/event.h')
| -rw-r--r-- | openbox/event.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/openbox/event.h b/openbox/event.h index 8a2a4cbc..f0e2d397 100644 --- a/openbox/event.h +++ b/openbox/event.h @@ -68,6 +68,11 @@ gboolean event_time_after(guint32 t1, guint32 t2); is a time at or after it, but at or before any other events we will process */ Time event_time(void); + +/*! Force event_time() to skip the current timestamp and look for the next + one. */ +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. |
