o BUG FIX: devDone() would close some devices despite them being
  on screen/interactive devices, e.g. an x11 device.