On Sun, 21 Jan 2018 19:54:56 +0100 François Patte <francois.patte@xxxxxxxxxxxxxxxxxxxx> 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. _______________________________________________ users mailing list -- users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx