-
Tobias Nätterlund authored
If the state of a device changes while the Device options page is open, the state change won't be reflected in the UI, as the options page is operating on the cloned instance of DeviceManager. Change-Id: I9b2385885960764b2d3892bc89712199de529cf8 Reviewed-by: Christian Kandeler <christian.kandeler@digia.com>
b393b6ed