| 1 |
tetromino 11/12/26 04:16:32 |
| 2 |
|
| 3 |
Added: gnome-tweak-tool-3.2.2-user-theme-ext-id.patch |
| 4 |
Log: |
| 5 |
Update for new user theme extension ID in gnome-shell-extensions-3.2.2 (bug #395733, thanks to Stefan Zwanenburg for reporting). |
| 6 |
|
| 7 |
(Portage version: 2.2.0_alpha83/cvs/Linux x86_64) |
| 8 |
|
| 9 |
Revision Changes Path |
| 10 |
1.1 gnome-extra/gnome-tweak-tool/files/gnome-tweak-tool-3.2.2-user-theme-ext-id.patch |
| 11 |
|
| 12 |
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/gnome-extra/gnome-tweak-tool/files/gnome-tweak-tool-3.2.2-user-theme-ext-id.patch?rev=1.1&view=markup |
| 13 |
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/gnome-extra/gnome-tweak-tool/files/gnome-tweak-tool-3.2.2-user-theme-ext-id.patch?rev=1.1&content-type=text/plain |
| 14 |
|
| 15 |
Index: gnome-tweak-tool-3.2.2-user-theme-ext-id.patch |
| 16 |
=================================================================== |
| 17 |
From af33b09d1f21eb3698c4977a4345b6badbefccc2 Mon Sep 17 00:00:00 2001 |
| 18 |
From: Nuno Araujo <nuno.araujo@×××××××.com> |
| 19 |
Date: Wed, 23 Nov 2011 18:30:28 +0100 |
| 20 |
Subject: [PATCH] Fix user-theme extension UUID |
| 21 |
|
| 22 |
Since version 3.2.1, gnome-shell extensions changed their UUID to another value. |
| 23 |
According to the changelog, this was made because gnome.org is temporarily |
| 24 |
forbidden in UUIDS. |
| 25 |
|
| 26 |
As a consequence, gnome-tweak-tool didn't detect the user-theme extension. |
| 27 |
|
| 28 |
https://bugzilla.gnome.org/show_bug.cgi?id=664655 |
| 29 |
--- |
| 30 |
gtweak/tweaks/tweak_shell.py | 2 +- |
| 31 |
1 files changed, 1 insertions(+), 1 deletions(-) |
| 32 |
|
| 33 |
diff --git a/gtweak/tweaks/tweak_shell.py b/gtweak/tweaks/tweak_shell.py |
| 34 |
index 4de335a..75dc5d8 100644 |
| 35 |
--- a/gtweak/tweaks/tweak_shell.py |
| 36 |
+++ b/gtweak/tweaks/tweak_shell.py |
| 37 |
@@ -43,7 +43,7 @@ class ShowWindowButtons(GConfComboTweak): |
| 38 |
|
| 39 |
class ShellThemeTweak(Tweak): |
| 40 |
|
| 41 |
- THEME_EXT_NAME = "user-theme@××××××××××××××××××××××××××××.org" |
| 42 |
+ THEME_EXT_NAME = "user-theme@×××××××××××××××××××××××××××××××××××××.com" |
| 43 |
THEME_GSETTINGS_SCHEMA = "org.gnome.shell.extensions.user-theme" |
| 44 |
THEME_GSETTINGS_NAME = "name" |
| 45 |
THEME_DIR = os.path.join(GLib.get_home_dir(), ".themes") |
| 46 |
-- |
| 47 |
1.7.8.1 |
Archives