udisks-floppy/floppy.patch

   1 diff --git a/src/device.c b/src/device.c
   2 index 91c6cd1..c53da95 100644
   3 --- a/src/device.c
   4 +++ b/src/device.c
   5 @@ -4485,7 +4485,8 @@ update_info (Device *device)
   6          }
   7        else
   8          {
   9 -          if (g_udev_device_get_property_as_boolean (device->priv->d, "ID_CDROM_MEDIA"))
  10 +          if (g_udev_device_get_property_as_boolean (device->priv->d, "ID_CDROM_MEDIA") ||
  11 +              g_udev_device_get_property_as_boolean (device->priv->d, "ID_DRIVE_FLOPPY"))
  12              {
  13                media_available = TRUE;
  14              }