[gnome-shell-extensions] style: Inherit default stylesheet from resource
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions] style: Inherit default stylesheet from resource
- Date: Tue, 18 Nov 2014 15:08:29 +0000 (UTC)
commit 0a0d273d32b5fe8c6341c974d86b0bbb14843bad
Author: Florian Müllner <fmuellner gnome org>
Date: Tue Nov 18 15:16:39 2014 +0100
style: Inherit default stylesheet from resource
The default stylesheet has moved into a GResource, so we can no
longer address it with a relative path.
https://bugzilla.gnome.org/show_bug.cgi?id=740318
data/gnome-classic.css | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/data/gnome-classic.css b/data/gnome-classic.css
index 2f35be4..49521e9 100644
--- a/data/gnome-classic.css
+++ b/data/gnome-classic.css
@@ -1,4 +1,4 @@
- import url("gnome-shell.css");
+ import url("resource:///org/gnome/shell/theme/gnome-shell.css");
/* FIXME:
- white edge highlight with text-shadow and icon-shadow for panel-button
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]