app: implement device removal in gimp_devices_device_removed()

This commit is contained in:
Michael Natterer 2010-02-15 20:00:26 +01:00
parent 0ce37c500e
commit 3ff4a910a9

View file

@ -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);
}
}