[EXTENSION] Add extension which prefers user-theme to system theme

From: John Stowers <john stowers lists gmail com>
To: gnome-shell-list gnome org
Subject: [EXTENSION] Add extension which prefers user-theme to system theme
Date: Wed, 9 Mar 2011 15:17:55 +1300

Hi,

We are starting to see gnome-shell themes now [1]. I created [2] an
extension which loads the shell theme from
~/.local/share/gnome-shell/theme/ if present.

John

[1] http://half-left.deviantart.com/art/GNOME-Shell-Smooth-Inset-200111295
[2] https://bugzilla.gnome.org/show_bug.cgi?id=644271

Follow-Ups:
- Re: [EXTENSION] Add extension which prefers user-theme to system theme
  - From: John Stowers

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]