|
|
891583 |
From d4681a4c8a7833b773dfef32f56a70ee57fbc478 Mon Sep 17 00:00:00 2001
|
|
|
2b55cd |
From: Rui Matos <tiagomatos@gmail.com>
|
|
|
2b55cd |
Date: Tue, 7 Apr 2015 16:20:26 +0200
|
|
|
891583 |
Subject: [PATCH 5/8] ExtensionInstaller: load extension after installing it
|
|
|
2b55cd |
|
|
|
2b55cd |
---
|
|
|
2b55cd |
gtweak/gshellwrapper.py | 3 +++
|
|
|
2b55cd |
gtweak/tweaks/tweak_group_shell_extensions.py | 9 +--------
|
|
|
2b55cd |
2 files changed, 4 insertions(+), 8 deletions(-)
|
|
|
2b55cd |
|
|
|
2b55cd |
diff --git a/gtweak/gshellwrapper.py b/gtweak/gshellwrapper.py
|
|
|
2b55cd |
index 8c7e2ac..3212803 100644
|
|
|
2b55cd |
--- a/gtweak/gshellwrapper.py
|
|
|
2b55cd |
+++ b/gtweak/gshellwrapper.py
|
|
|
2b55cd |
@@ -184,6 +184,9 @@ class GnomeShell36(GnomeShell34):
|
|
|
2b55cd |
def install_remote_extension(self, uuid, reply_handler, error_handler, user_data):
|
|
|
2b55cd |
self._proxy.proxy_extensions.InstallRemoteExtension('(s)', uuid, result_handler=reply_handler, error_handler=error_handler, user_data=user_data)
|
|
|
2b55cd |
|
|
|
2b55cd |
+ def load_user_extension(self, uuid):
|
|
|
2b55cd |
+ return self._proxy.proxy_extensions.LoadUserExtension('(s)', uuid)
|
|
|
2b55cd |
+
|
|
|
2b55cd |
def get_extension_info(self, uuid):
|
|
|
2b55cd |
return self._proxy.proxy_extensions.GetExtensionInfo('(s)', uuid)
|
|
|
2b55cd |
|
|
|
2b55cd |
diff --git a/gtweak/tweaks/tweak_group_shell_extensions.py b/gtweak/tweaks/tweak_group_shell_extensions.py
|
|
|
891583 |
index c1f41d9..b791e4a 100644
|
|
|
2b55cd |
--- a/gtweak/tweaks/tweak_group_shell_extensions.py
|
|
|
2b55cd |
+++ b/gtweak/tweaks/tweak_group_shell_extensions.py
|
|
|
891583 |
@@ -244,17 +244,10 @@ class _ShellExtensionInstallerTweak(Gtk.Box, Tweak):
|
|
|
2b55cd |
os.path.join(self._shell.EXTENSION_DIR, extension_uuid))
|
|
|
2b55cd |
|
|
|
2b55cd |
if ok:
|
|
|
2b55cd |
- if updated:
|
|
|
2b55cd |
- verb = _("%s extension updated successfully") % extension_uuid
|
|
|
2b55cd |
- else:
|
|
|
2b55cd |
- verb = _("%s extension installed successfully") % extension_uuid
|
|
|
2b55cd |
-
|
|
|
2b55cd |
- self.notify_logout()
|
|
|
2b55cd |
-
|
|
|
2b55cd |
+ self._shell.load_user_extension(extension_uuid)
|
|
|
2b55cd |
else:
|
|
|
2b55cd |
self.notify_information(_("Error installing extension"))
|
|
|
2b55cd |
|
|
|
2b55cd |
-
|
|
|
2b55cd |
except:
|
|
|
2b55cd |
#does not look like a valid theme
|
|
|
2b55cd |
self.notify_information(_("Invalid extension"))
|
|
|
2b55cd |
--
|
|
|
891583 |
2.9.3
|
|
|
2b55cd |
|