Overview
Artifact ID: | 5274d535ffe59ea3c7750ac25eb568c4504e0e25c13851a81fac8a3eee30fa4c |
---|---|
Ticket: | e3888d582045d0817375b66ae7f5e46f93f809e9
Grab on master prevents mouse pointer warp into slave widget |
User & Date: | erikleunissen 2020-01-13 20:51:58 |
Changes
- icomment:
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"