From b95a84faa9cd4d2cfbbf22110193f832843a5ddf Mon Sep 17 00:00:00 2001 From: Juan RP Date: Sat, 12 Oct 2013 09:14:27 +0200 Subject: [PATCH] gtk+3: provide a default theme, icontheme and font. --- srcpkgs/gtk+3/files/settings.ini | 4 ++++ srcpkgs/gtk+3/template | 4 +++- 2 files changed, 7 insertions(+), 1 deletion(-) create mode 100644 srcpkgs/gtk+3/files/settings.ini diff --git a/srcpkgs/gtk+3/files/settings.ini b/srcpkgs/gtk+3/files/settings.ini new file mode 100644 index 00000000000..6a0643bfa67 --- /dev/null +++ b/srcpkgs/gtk+3/files/settings.ini @@ -0,0 +1,4 @@ +[Settings] +gtk-icon-theme-name = gnome +gtk-theme-name = Adwaita +gtk-font-name = Cantarell 11 diff --git a/srcpkgs/gtk+3/template b/srcpkgs/gtk+3/template index ac7bf10abcd..44d16656b6f 100644 --- a/srcpkgs/gtk+3/template +++ b/srcpkgs/gtk+3/template @@ -1,7 +1,7 @@ # Template build file for 'gtk+3'. pkgname=gtk+3 version=3.10.1 -revision=1 +revision=2 wrksrc="gtk+-${version}" build_style=gnu-configure configure_args="--enable-cups --disable-schemas-compile --enable-gtk2-dependency --enable-colord" @@ -57,6 +57,8 @@ fi post_install() { rm -f ${DESTDIR}/usr/share/man/man1/gtk-update-icon-cache.1 + # Provide a default (icon)theme. + vinstall ${FILESDIR}/settings.ini 644 usr/share/gtk-3.0 } gtk+3-devel_package() {