Web   ·   Wiki   ·   Activities   ·   Blog   ·   Lists   ·   Chat   ·   Meeting   ·   Bugs   ·   Git   ·   Translate   ·   Archive   ·   People   ·   Donate
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorGonzalo Odiard <godiard@gmail.com>2011-12-07 20:10:59 (GMT)
committer Gonzalo Odiard <godiard@gmail.com>2011-12-07 20:22:42 (GMT)
commit80d4913e2df94d533366ec8f7a1a05e712cd686a (patch)
tree597e559c4f0f03c2fabdb0eac610d06177770f1b
parent5d134712de3e8dcc85a2ae168ea3555f632fb136 (diff)
Generate gtk-widgets.css and setting.ini according to the scale
Signed-off-by: Gonzalo Odiard <gonzalo@laptop.org>
-rw-r--r--gtk3/theme/Makefile.am54
-rw-r--r--gtk3/theme/settings.ini.em36
2 files changed, 84 insertions, 6 deletions
diff --git a/gtk3/theme/Makefile.am b/gtk3/theme/Makefile.am
index 9b92abb..3e960b3 100644
--- a/gtk3/theme/Makefile.am
+++ b/gtk3/theme/Makefile.am
@@ -1,17 +1,59 @@
-gtk-widgets.css: gtk-widgets.css.em
+gtk-widgets-72.css: gtk-widgets.css.em
$(srcdir)/em.py -p $$ -D scaling=\'72\' $(srcdir)/gtk-widgets.css.em > \
- $(top_builddir)/gtk3/theme/gtk-widgets.css
+ $(top_builddir)/gtk3/theme/gtk-widgets-72.css
+gtk-widgets-100.css: gtk-widgets.css.em
+ $(srcdir)/em.py -p $$ -D scaling=\'100\' $(srcdir)/gtk-widgets.css.em > \
+ $(top_builddir)/gtk3/theme/gtk-widgets-100.css
+
+settings-72.ini: settings.ini.em
+ $(srcdir)/em.py -p $$ -D scaling=\'72\' $(srcdir)/settings.ini.em > \
+ $(top_builddir)/gtk3/theme/settings-72.ini
+
+settings-100.ini: settings.ini.em
+ $(srcdir)/em.py -p $$ -D scaling=\'100\' $(srcdir)/settings.ini.em > \
+ $(top_builddir)/gtk3/theme/settings-100.ini
themedir = $(datadir)/themes/sugar/gtk-3.0
+
theme_DATA = \
gtk.css \
gtk-dark.css \
- gtk-widgets.css \
- settings.ini
+ gtk-widgets-72.css \
+ gtk-widgets-100.css \
+ settings-72.ini \
+ settings-100.ini
+
+install-data-local: $(theme_DATA)
+ $(mkinstalldirs) $(DESTDIR)$(datadir)/themes/sugar-72/gtk-3.0
+ $(INSTALL_DATA) $(top_builddir)/gtk3/theme/gtk-widgets-72.css \
+ $(DESTDIR)$(datadir)/themes/sugar-72/gtk-3.0/gtk-widgets.css
+ $(INSTALL_DATA) $(top_builddir)/gtk3/theme/settings-72.ini \
+ $(DESTDIR)$(datadir)/themes/sugar-72/gtk-3.0/settings.ini
+ $(INSTALL_DATA) $(top_builddir)/gtk3/theme/gtk.css \
+ $(DESTDIR)$(datadir)/themes/sugar-72/gtk-3.0/gtk.css
+ $(INSTALL_DATA) $(top_builddir)/gtk3/theme/gtk-dark.css \
+ $(DESTDIR)$(datadir)/themes/sugar-72/gtk-3.0/gtk-dark.css
+ $(mkinstalldirs) $(DESTDIR)$(datadir)/themes/sugar-100/gtk-3.0
+ $(INSTALL_DATA) $(top_builddir)/gtk3/theme/gtk-widgets-72.css \
+ $(DESTDIR)$(datadir)/themes/sugar-100/gtk-3.0/gtk-widgets.css
+ $(INSTALL_DATA) $(top_builddir)/gtk3/theme/settings-100.ini \
+ $(DESTDIR)$(datadir)/themes/sugar-100/gtk-3.0/settings.ini
+ $(INSTALL_DATA) $(top_builddir)/gtk3/theme/gtk.css \
+ $(DESTDIR)$(datadir)/themes/sugar-100/gtk-3.0/gtk.css
+ $(INSTALL_DATA) $(top_builddir)/gtk3/theme/gtk-dark.css \
+ $(DESTDIR)$(datadir)/themes/sugar-100/gtk-3.0/gtk-dark.css
clean:
- $(RM) gtk-widgets.css
+ $(RM) gtk-widgets-100.css
+ $(RM) gtk-widgets-72.css
+ $(RM) settings-100.ini
+ $(RM) settings-72.ini
+
+uninstall-local:
+ rm -rf $(DESTDIR)$(datadir)/themes/sugar-72/gtk-3.0
+ rm -rf $(DESTDIR)$(datadir)/themes/sugar-100/gtk-3.0
-EXTRA_DIST = $(theme_DATA) gtk-widgets.css.em em.py
+EXTRA_DIST = $(theme_DATA)
+-include $(top_srcdir)/git.mk
diff --git a/gtk3/theme/settings.ini.em b/gtk3/theme/settings.ini.em
new file mode 100644
index 0000000..f4d6369
--- /dev/null
+++ b/gtk3/theme/settings.ini.em
@@ -0,0 +1,36 @@
+${
+
+# These sizes are copied from gtk2 rc files ...
+if scaling == "100":
+ icon_base = 11
+else: # About 72% of the XO size, adjusted so that eg. toolbuttons work
+ icon_base = 8 # 7.92
+
+icon_small = icon_base * 3
+icon_large = icon_base * 5
+
+}
+
+[Settings]
+#gtk-color-scheme = "base_color:#ffffff\nbg_color:#ededed\ntooltip_bg_color:#343434\nselected_bg_color:#4a90d9\ntext_color:#2e3436\nfg_color:#2e3436;\ntooltip_fg_color:#ffffff\nselected_fg_color:#ffffff"
+gtk-auto-mnemonics = 1
+gtk-toolbar-style = GTK_TOOLBAR_ICONS
+
+${
+icon_small = icon_base * 3
+icon_large = icon_base * 5
+
+small_icons = [ "gtk-menu", "gtk-dnd", "gtk-small-toolbar", "gtk-button" ]
+large_icons = [ "gtk-large-toolbar" ]
+
+icon_sizes = []
+for icon in small_icons:
+ icon_sizes += [icon + "=" + str(icon_small) + ',' + str(icon_small)]
+for icon in large_icons:
+ icon_sizes += [icon + "=" + str(icon_large) + ',' + str(icon_large)]
+
+icon_sizes = ":".join(icon_sizes)
+
+}
+gtk-icon-sizes=$icon_sizes
+