ProjectExplorer: Have changes to device state show up in Device settings
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>
Please register or sign in to comment