[gnome-tweak-tool] extensions: Remove some obsolete code

[John Stowers <jstowers src gnome org>]

commit c5f915af341ed643f6a4d88f6a76f8b7055694e2
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Nov 8 17:10:13 2013 +0000

    extensions: Remove some obsolete code
    
    The code was only ever executed when running under 3.0, support
    for which has been removed a while ago.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=711701

 gtweak/gshellwrapper.py                       |    1 -
 gtweak/tweaks/tweak_group_shell_extensions.py |    6 ------
 2 files changed, 0 insertions(+), 7 deletions(-)
---
diff --git a/gtweak/gshellwrapper.py b/gtweak/gshellwrapper.py
index b28c5e5..ca7e7c0 100644
--- a/gtweak/gshellwrapper.py
+++ b/gtweak/gshellwrapper.py
@@ -127,7 +127,6 @@ class GnomeShell:
 class GnomeShell32(GnomeShell):
 
     EXTENSION_ENABLED_KEY = "enabled-extensions"
-    EXTENSION_NEED_RESTART = False
     SUPPORTS_EXTENSION_PREFS = False
 
     def list_extensions(self):
diff --git a/gtweak/tweaks/tweak_group_shell_extensions.py b/gtweak/tweaks/tweak_group_shell_extensions.py
index bbd4788..5fabcbc 100644
--- a/gtweak/tweaks/tweak_group_shell_extensions.py
+++ b/gtweak/tweaks/tweak_group_shell_extensions.py
@@ -131,12 +131,6 @@ class _ShellExtensionTweak(Gtk.ListBoxRow, Tweak):
         else:
             self._shell.enable_extension(uuid)
 
-        if self._shell.EXTENSION_NEED_RESTART:
-            self.notify_action_required(
-                _("The shell must be restarted for changes to take effect"),
-                _("Restart"),
-                self._shell.restart)
-
     def _on_extension_delete(self, btn, uuid, name):
         path = os.path.join(self._shell.EXTENSION_DIR, uuid)
         if os.path.exists(path):