commit | 7e546febadb6e6cc66138c2316c8c19ca8aab2b1 | [log] [tgz] |
---|---|---|
author | Pierre Ossman <ossman@cendio.se> | Mon Sep 18 16:05:48 2017 +0200 |
committer | Pierre Ossman <ossman@cendio.se> | Mon Sep 18 16:05:48 2017 +0200 |
tree | 5257117a47cb9acf04f800f18a0e14dff0311abc | |
parent | ca0c5f571410d03fdbdf6e1b6cb18fcf79f26ea4 [diff] |
Release pointer grab when cursor leaves window We don't need the grab any more if the pointer cannot click on our window. This makes it possible to shift focus to another application when we aren't covering all monitors.