[gnome-tweak-tool] desensitize uninstalled tweaks

[John Stowers <jstowers src gnome org>]

commit 34e0fd28eb7c3db4da2af4573aabeef61286e99d
Author: John Stowers <john stowers gmail com>
Date:   Sun Mar 24 21:40:34 2013 +0100

    desensitize uninstalled tweaks

 gtweak/tweaks/tweak_shell_extensions.py |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/gtweak/tweaks/tweak_shell_extensions.py b/gtweak/tweaks/tweak_shell_extensions.py
index 79f1db2..fb90923 100644
--- a/gtweak/tweaks/tweak_shell_extensions.py
+++ b/gtweak/tweaks/tweak_shell_extensions.py
@@ -96,6 +96,7 @@ class _ShellExtensionTweak(Tweak):
             response = dialog.run()
             if response == Gtk.ResponseType.YES:
                 self._shell.uninstall_extension(uuid)
+                self.widget.set_sensitive(False)
             dialog.destroy()
 
 class _ShellExtensionInstallerTweak(Tweak):