[gnome-documents] style: remove custom CSS stylesheet
- From: Cosimo Cecchi <cosimoc src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-documents] style: remove custom CSS stylesheet
- Date: Mon, 21 Nov 2011 15:51:31 +0000 (UTC)
commit 4bf66ea94e452e9c2c3a7997066cf2d210c36ca4
Author: Cosimo Cecchi <cosimoc gnome org>
Date: Mon Nov 21 10:38:01 2011 -0500
style: remove custom CSS stylesheet
We moved our custom style to gnome-themes-standard now.
data/Makefile.am | 5 --
data/gtk-style.css | 134 ----------------------------------------------------
src/application.js | 6 --
3 files changed, 0 insertions(+), 145 deletions(-)
---
diff --git a/data/Makefile.am b/data/Makefile.am
index 29c7f1c..bc0ce9c 100644
--- a/data/Makefile.am
+++ b/data/Makefile.am
@@ -26,11 +26,6 @@ dist_icons_DATA = \
@INTLTOOL_XML_NOMERGE_RULE@
@GSETTINGS_RULES@
-styledir = $(pkgdatadir)/style
-
-dist_style_DATA = \
- gtk-style.css
-
EXTRA_DIST= \
gnome-documents.desktop \
$(service_in_files) \
diff --git a/src/application.js b/src/application.js
index b4f236c..97022d5 100644
--- a/src/application.js
+++ b/src/application.js
@@ -108,12 +108,6 @@ Application.prototype = {
EvDoc.init();
Tweener.init();
- let provider = new Gtk.CssProvider();
- provider.load_from_path(Path.STYLE_DIR + "gtk-style.css");
- Gtk.StyleContext.add_provider_for_screen(Gdk.Screen.get_default(),
- provider,
- 600);
-
Global.application = this;
Global.settings = new Gio.Settings({ schema: 'org.gnome.documents' });
Global.offsetController = new OffsetController.OffsetController();
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]