Right now on the first startup the default device name is saved and then that is always used when available.
Instead it should work like this: by default the saved name would be "default" and that would mean to always use the default device.
The user could still customize the choice (once option menu support is added) by selecting a different device.
Right now on the first startup the default device name is saved and then that is always used when available. Instead it should work like this: by default the saved name would be "default" and that would mean to always use the default device.
The user could still customize the choice (once option menu support is added) by selecting a different device.