[gnome-boxes] property: API to set sensitivity of prop widgets

[Zeeshan Ali Khattak <zeeshanak src gnome org>]

commit 6af8b9bc5a3e6cc68dc16d47a6d7be6a041a0e38
Author: Zeeshan Ali (Khattak) <zeeshanak gnome org>
Date:   Tue Mar 12 03:02:19 2013 +0200

    property: API to set sensitivity of prop widgets
    
    https://bugzilla.gnome.org/show_bug.cgi?id=690779

 src/i-properties-provider.vala |    7 +++++++
 1 files changed, 7 insertions(+), 0 deletions(-)
---
diff --git a/src/i-properties-provider.vala b/src/i-properties-provider.vala
index 81bf3be..d28ab7d 100644
--- a/src/i-properties-provider.vala
+++ b/src/i-properties-provider.vala
@@ -11,6 +11,13 @@ private class Boxes.Property: GLib.Object {
 
     public uint defer_interval { get; set; default = 1; } // In seconds
 
+    public bool sensitive {
+        set {
+            widget.sensitive = value;
+            extra_widget.sensitive = value;
+        }
+    }
+
     private uint deferred_change_id;
     private SourceFunc? _deferred_change;
     public SourceFunc? deferred_change {