[gimp] app: implement device removal in gimp_devices_device_removed()

[Michael Natterer <mitch src gnome org>]

commit 3ff4a910a9d78f49664e8a0f5628ceb2736ddbeb
Author: Michael Natterer <mitch gimp org>
Date:   Mon Feb 15 20:00:26 2010 +0100

    app: implement device removal in gimp_devices_device_removed()

 app/widgets/gimpdevices.c |   10 ++++++++++
 1 files changed, 10 insertions(+), 0 deletions(-)
---
diff --git a/app/widgets/gimpdevices.c b/app/widgets/gimpdevices.c
index 4f615d2..361432f 100644
--- a/app/widgets/gimpdevices.c
+++ b/app/widgets/gimpdevices.c
@@ -486,4 +486,14 @@ gimp_devices_device_removed (GdkDisplay        *gdk_display,
                              GdkDevice         *device,
                              GimpDeviceManager *manager)
 {
+  GimpDeviceInfo *device_info;
+
+  device_info =
+    GIMP_DEVICE_INFO (gimp_container_get_child_by_name (manager->device_info_list,
+                                                        device->name));
+
+  if (device_info)
+    {
+      gimp_device_info_set_device (device_info, NULL, NULL);
+    }
 }