[gnome-tweak-tool] Use extension-specific path to find prefs.js
- From: John Stowers <jstowers src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-tweak-tool] Use extension-specific path to find prefs.js
- Date: Wed, 10 Apr 2013 09:44:42 +0000 (UTC)
commit 577d7991361ab25ee2dc6890bafaf0e635ad36dd
Author: Ralph Bean <rbean redhat com>
Date: Wed Apr 10 01:15:45 2013 -0400
Use extension-specific path to find prefs.js
https://bugzilla.gnome.org/show_bug.cgi?id=697685
gtweak/tweaks/tweak_shell_extensions.py | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/gtweak/tweaks/tweak_shell_extensions.py b/gtweak/tweaks/tweak_shell_extensions.py
index 066456d..5e37ade 100644
--- a/gtweak/tweaks/tweak_shell_extensions.py
+++ b/gtweak/tweaks/tweak_shell_extensions.py
@@ -48,7 +48,7 @@ class _ShellExtensionTweak(Tweak):
widgets = []
if self._shell.SUPPORTS_EXTENSION_PREFS:
- prefs = os.path.join(self._shell.EXTENSION_DIR, uuid, "prefs.js")
+ prefs = os.path.join(ext['path'], "prefs.js")
if os.path.exists(prefs):
cfg = build_tight_button(Gtk.STOCK_PREFERENCES)
cfg.connect("clicked", self._on_configure_clicked, uuid)
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]