On Thu, Jan 22, 2015 at 10:45 PM, Paul Neulinger <mailingl...@tanwald.net> wrote: > Ok, thanks. Waiting for pointer movement or for the pointer leaving the > workspace makes sense. But to check if a window is under the pointer > does not, does it? This piece of code also does not appear in the bug > report.
Indeed, that part was added at a later point[0]. [0] http://git.gnome.org/browse/gnome-shell/commit?id=b88b74342869f31 _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
