[gnome-boxes] spice-display: Fix indentation
- From: Zeeshan Ali Khattak <zeeshanak src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-boxes] spice-display: Fix indentation
- Date: Sat, 21 Feb 2015 18:22:22 +0000 (UTC)
commit 97e4871a17451dcd01d3d3d055310c4aa5a30d9c
Author: Zeeshan Ali (Khattak) <zeeshanak gnome org>
Date: Fri Feb 20 14:39:07 2015 +0000
spice-display: Fix indentation
src/spice-display.vala | 22 +++++++++++-----------
1 files changed, 11 insertions(+), 11 deletions(-)
---
diff --git a/src/spice-display.vala b/src/spice-display.vala
index 02c6683..71c43e8 100644
--- a/src/spice-display.vala
+++ b/src/spice-display.vala
@@ -337,18 +337,18 @@ private class Boxes.SpiceDisplay: Boxes.Display {
break;
manager.device_added.connect ((manager, dev) => {
- usb_property.refresh_properties ();
- });
+ usb_property.refresh_properties ();
+ });
manager.device_removed.connect ((manager, dev) => {
- Idle.add (() => {
- // FIXME: This is done in an idle to workaround a bug in spice-gtk 0.18
where calling
- // UsbDeviceManager.get_devices() from the "device-removed" signal callback
will
- // return a list of devices which still contains the removed device.
- // This is fixed in spice-gtk by 09124ecc50.
- usb_property.refresh_properties ();
- return false;
- });
- });
+ Idle.add (() => {
+ // FIXME: This is done in an idle to workaround a bug in spice-gtk 0.18 where calling
+ // UsbDeviceManager.get_devices() from the "device-removed" signal callback will
+ // return a list of devices which still contains the removed device.
+ // This is fixed in spice-gtk by 09124ecc50.
+ usb_property.refresh_properties ();
+ return false;
+ });
+ });
} catch (GLib.Error error) {
}
break;
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]