diff options
| author | Dana Jansens <danakj@orodu.net> | 2007-05-05 16:12:36 +0000 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2007-05-05 16:12:36 +0000 |
| commit | 3db93a6ab5801ad8f8b67c54cdc8942e08a540aa (patch) | |
| tree | c5578779b830f88cf5631595ffc07b4f8e229004 | |
| parent | 48a4eafb42ac2ab9badc2f7273cf64ec88a6f350 (diff) | |
watch for currenttime
| -rw-r--r-- | openbox/grab.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/openbox/grab.c b/openbox/grab.c index 3e1066ba..b6a7a939 100644 --- a/openbox/grab.c +++ b/openbox/grab.c @@ -43,7 +43,8 @@ static Time grab_time = CurrentTime; static Time ungrab_time() { Time t = event_curtime; - if (!(t == CurrentTime || event_time_after(t, grab_time))) + if (grab_time == CurrentTime || + !(t == CurrentTime || event_time_after(t, grab_time))) /* When the time moves backward on the server, then we can't use the grab time because that will be in the future. So instead we have to use CurrentTime. |
