Robin Burchell 8a1a9e78d7 WSWindowManager: Ensure that we pick a single window to deliver a full stream of events to ...

This is effectively a mouse grab except that we don't require any client
coordination to request it (which is probably OK, and certainly a lot
simpler to implement).

This prevents e.g. dragging the mouse cursor out of paint and over the
terminal from selecting text unexpectedly.

2019-07-12 18:19:45 +02:00

37 KiB

Raw Blame History

View Raw