From 71de0f0b4f60c326f7f66f4755e63f616fb80867 Mon Sep 17 00:00:00 2001
From: Rui Matos <tiagomatos@gmail.com>
Date: Thu, 7 Nov 2013 13:02:44 +0100
Subject: [PATCH 1/6] tweak_shell_extensions.py: Offer to restart the shell
 only if needed

---
 gtweak/tweaks/tweak_shell_extensions.py | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/gtweak/tweaks/tweak_shell_extensions.py b/gtweak/tweaks/tweak_shell_extensions.py
index 5e37ade..80c8d3e 100644
--- a/gtweak/tweaks/tweak_shell_extensions.py
+++ b/gtweak/tweaks/tweak_shell_extensions.py
@@ -168,10 +168,13 @@ class _ShellExtensionInstallerTweak(Tweak):
                     else:
                         verb = _("%s extension installed successfully") % extension_uuid
 
-                    self.notify_action_required(
-                        verb,
-                        _("Restart"),
-                        self._shell.restart)
+                    if self._shell.EXTENSION_NEED_RESTART:
+                        self.notify_action_required(
+                            verb,
+                            _("Restart"),
+                            self._shell.restart)
+                    else:
+                        self.notify_info(verb)
 
                 else:
                     self.notify_error(_("Error installing extension"))
-- 
1.8.3.1