On Sun, 21 Jan 2018 19:54:56 +0100
François Patte <francois.patte(a)mi.parisdescartes.fr> wrote:
This is the problem: it is not remembered.....
Changing the device is a separate setting from setting it as a
default. So, are you changing the device and then making it the
default? If you are, and this is happening, it's a bug, and you should
open a bugzilla. If not, you should make the device the default after
you change it. It's the little green checkmark, that says, in English,
'set as fallback' during mouse-over.