Grab on master prevents mouse pointer warp into slave widget
|User & Date:||erikleunissen 2020-01-13 20:51:58|
Although I understand that the two approaches that you mention are quite (entirely?) orthogonal w.r.t. each other, I don't (yet have the background to) understand the essential difference. For now I rely on your insight for this, and for the choice involved.
- login: "erikleunissen"
- mimetype: "text/plain"