diff options
| author | Dana Jansens <danakj@orodu.net> | 2008-01-13 02:50:34 -0500 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2008-01-13 02:50:34 -0500 |
| commit | 5148b839fefe16b54f26bc0d2c7a500127cf2725 (patch) | |
| tree | 1da0232bd641712461fddac2d7c2f655a40195bf | |
| parent | 1e6e2041bf58c6187430bde2632fb2c7aec1e950 (diff) | |
sync when killing all keyboard grabs, so that we can be sure they are gone before proceeding (fixes a race condition when running things that want to grab the keyboard very quickly. yes, arch is that fast somehow..)
| -rw-r--r-- | openbox/event.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/openbox/event.c b/openbox/event.c index 04ecf383..44e0f532 100644 --- a/openbox/event.c +++ b/openbox/event.c @@ -1997,6 +1997,8 @@ void event_cancel_all_key_grabs(void) } else ungrab_passive_key(); + + XSync(ob_display, FALSE); } gboolean event_time_after(Time t1, Time t2) |
