Using NetworkManager-0.9.9.0-37.git20131003.fc20.

When I remove a USB wifi dongle, NM sends its PropertiesChanged dbus signal for property Devices but still includes the dongle device. If I insert the device again, the Devices property is finally sent without the previous object path and includes only a new one for this device.

This means that, on removal, gnome-shell doesn't get the NMClient device-removed signal and thus we get an entry for a non-existing device in the menu.

Here's the relevant output from dbus-monitor. Device/5 and 6 is the USB dongle:

>>> USB dongle removed

signal sender=:1.229 -> dest=(null destination) serial=2232
path=/org/freedesktop/NetworkManager;
interface=org.freedesktop.NetworkManager; member=PropertiesChanged
   array [
      dict entry(                                                                                                                   
         string "Devices"
         variant             array [
               object path "/org/freedesktop/NetworkManager/Devices/0"
               object path "/org/freedesktop/NetworkManager/Devices/1"
               object path "/org/freedesktop/NetworkManager/Devices/2"
               object path "/org/freedesktop/NetworkManager/Devices/5"
            ]
      )

>>> USB dongle connected again

signal sender=:1.229 -> dest=(null destination) serial=2473
path=/org/freedesktop/NetworkManager;
interface=org.freedesktop.NetworkManager; member=PropertiesChanged
   array [
      dict entry(
         string "Devices"
         variant             array [
               object path "/org/freedesktop/NetworkManager/Devices/0"
               object path "/org/freedesktop/NetworkManager/Devices/1"
               object path "/org/freedesktop/NetworkManager/Devices/2"
               object path "/org/freedesktop/NetworkManager/Devices/6"
            ]
      )