From 71de0f0b4f60c326f7f66f4755e63f616fb80867 Mon Sep 17 00:00:00 2001 From: Rui Matos 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