On Monday, 27 March 2006 at 20:30:52 -0500, Mike Meyer wrote: > In <[EMAIL PROTECTED]>, Greg 'groggy' Lehey <[EMAIL PROTECTED]> typed: >>> The focus management and the highlighting of the window manager >>> decoration are not physically connected in any way, so a bug in the >>> window manager might cause it to do the highlighting but forget to >>> give the focus to the application. >> But mouse focus and keyboard focus are the same, right? > > There isn't a "mouse focus". Mouse events are tied to window they > happen in, not the one with focus. If you use a window manager that > doesn't change the keyboard focus on mouse events, it's possible to > have mouse events happen in a window that doesn't have the focus.
Ah, good to know. That changes things somewhat. Greg -- See complete headers for address and phone numbers.
pgpXBFQQPhFVN.pgp
Description: PGP signature