Grab on master prevents mouse pointer warp into slave widget
|User & Date:||erikleunissen 2020-01-13 20:51:58|
- Change icomment to:
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.
- Change login to "erikleunissen"
- Change mimetype to "text/plain"