Hi John, Here's a patch that enables selection of icon themes. It applies to the current master, and also to the 2.91.93 tarball.
Thanks, -- Michel Alexandre Salim µblog: http://identi.ca/hircus http://twitter.com/hircus GPG key ID: 78884778 () ascii ribbon campaign - against html e-mail /\ www.asciiribbon.org - against proprietary attachments
>From 82c0639469a58217c2c23100e7a90aceb9f49495 Mon Sep 17 00:00:00 2001 From: Michel Alexandre Salim <[email protected]> Date: Fri, 25 Mar 2011 13:10:50 +0100 Subject: [PATCH] Enable icon theme selection --- gtweak/tweaks/tweak_interface.py | 12 +++++++++++- 1 files changed, 11 insertions(+), 1 deletions(-) diff --git a/gtweak/tweaks/tweak_interface.py b/gtweak/tweaks/tweak_interface.py index 1e20452..cb0a037 100644 --- a/gtweak/tweaks/tweak_interface.py +++ b/gtweak/tweaks/tweak_interface.py @@ -39,10 +39,20 @@ class ThemeSwitcher(GSettingsComboTweak): [(t, t) for t in valid_themes], **options) +class IconThemeSwitcher(GSettingsComboTweak): + def __init__(self, **options): + iconthemedir = os.path.join(gtweak.DATA_DIR, "icons") + GSettingsComboTweak.__init__(self, + "org.gnome.desktop.interface", + "icon-theme", + [(t, t) for t in os.listdir(iconthemedir)], + **options) + TWEAK_GROUPS = ( TweakGroup( "Interface", GSettingsSwitchTweak("org.gnome.desktop.interface", "menus-have-icons"), GSettingsSwitchTweak("org.gnome.desktop.interface", "buttons-have-icons"), - ThemeSwitcher()), + ThemeSwitcher(), + IconThemeSwitcher()), ) -- 1.7.4.1
_______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
