Revision 1699

* refresh device management dialog when device informations changed,
  e.g. on changes caused by other frontends
  (fixes segfault on device changes)
* rebuild device status window on device info changes (including ones
  caused by other frontends)
* bugfix: close all device status windows when main window was closed