@Mrinal thanks very much for that info. I was sure that the middle button behaviour, at least, was a matter of policy, but I obviously did not come up with the right set of keywords to find the above page.
As for the chording events, I can only hope that they were a symptom of the same issue - it's not something I could always reproduce, so we'll see if it now works consistently.
This is definitely something that should be part of the GUI configuration options.
@Mrinal thanks very much for that info. I was sure that the middle button behaviour, at least, was a matter of policy, but I obviously did not come up with the right set of keywords to find the above page.
As for the chording events, I can only hope that they were a symptom of the same issue - it's not something I could always reproduce, so we'll see if it now works consistently.
This is definitely something that should be part of the GUI configuration options.