diff options
author | Gonzalo Odiard <godiard@gmail.com> | 2011-12-07 20:10:59 (GMT) |
---|---|---|
committer | Gonzalo Odiard <godiard@gmail.com> | 2011-12-07 20:22:42 (GMT) |
commit | 80d4913e2df94d533366ec8f7a1a05e712cd686a (patch) | |
tree | 597e559c4f0f03c2fabdb0eac610d06177770f1b | |
parent | 5d134712de3e8dcc85a2ae168ea3555f632fb136 (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.am | 54 | ||||
-rw-r--r-- | gtk3/theme/settings.ini.em | 36 |
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 + |