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