diff options
author | Koop Mast <kwm@FreeBSD.org> | 2014-12-03 09:18:23 +0000 |
---|---|---|
committer | Koop Mast <kwm@FreeBSD.org> | 2014-12-03 09:18:23 +0000 |
commit | 6ce4980916f67851d29fde70453953cd55e7edf5 (patch) | |
tree | 9021a26f76674a75f55054140dbaa1e2146de3d6 /x11/gnome-shell-extensions | |
parent | 5f2f2908152abb592d057147585a7fbc8ed931a1 (diff) | |
download | ports-6ce4980916f67851d29fde70453953cd55e7edf5.tar.gz ports-6ce4980916f67851d29fde70453953cd55e7edf5.zip |
Update GNOME to 3.14.2.
This update was brought to you in collaboration with Gustua Perez
Make sure gtk30 pulls it the default theme (adwaita-icon-theme).
Update the extra gnome-shell-extensions so they work with gnome-shell 3.14.
Drop metacity from gnome3 meta-port.
Remove the gtile gnome-shell extension since it proven to be buggy.
Exp-run done by antoine@ for gdk-pixbuf2 deprecated API.
PR: 195414
Obtained from: gnome dev repo
Notes
Notes:
svn path=/head/; revision=373802
Diffstat (limited to 'x11/gnome-shell-extensions')
-rw-r--r-- | x11/gnome-shell-extensions/Makefile | 4 | ||||
-rw-r--r-- | x11/gnome-shell-extensions/distinfo | 4 | ||||
-rw-r--r-- | x11/gnome-shell-extensions/files/patch-extensions_places-menu_placeDisplay.js | 14 |
3 files changed, 18 insertions, 4 deletions
diff --git a/x11/gnome-shell-extensions/Makefile b/x11/gnome-shell-extensions/Makefile index 5d37eb78c879..b4415edff4cd 100644 --- a/x11/gnome-shell-extensions/Makefile +++ b/x11/gnome-shell-extensions/Makefile @@ -1,9 +1,9 @@ # Created by: Koop Mast <kwm@FreeBSD.org> # $FreeBSD$ -# $MCom: ports/trunk/x11/gnome-shell-extensions/Makefile 20004 2014-10-20 14:11:09Z gusi $ +# $MCom: ports/trunk/x11/gnome-shell-extensions/Makefile 20075 2014-11-13 06:53:37Z gusi $ PORTNAME= gnome-shell-extensions -PORTVERSION= 3.14.1 +PORTVERSION= 3.14.2 CATEGORIES= x11 gnome MASTER_SITES= GNOME DIST_SUBDIR= gnome3 diff --git a/x11/gnome-shell-extensions/distinfo b/x11/gnome-shell-extensions/distinfo index 4d53340b9b71..f3880f4b3a8f 100644 --- a/x11/gnome-shell-extensions/distinfo +++ b/x11/gnome-shell-extensions/distinfo @@ -1,2 +1,2 @@ -SHA256 (gnome3/gnome-shell-extensions-3.14.1.tar.xz) = 797eda0adc37322aaab7e4b194d69ca7855b0e6e1428bf38f295fd87a18e9b18 -SIZE (gnome3/gnome-shell-extensions-3.14.1.tar.xz) = 227812 +SHA256 (gnome3/gnome-shell-extensions-3.14.2.tar.xz) = bf0bf033d9ddd62ff005f55c2917b49df0719132df9c081e8d7e27c571819135 +SIZE (gnome3/gnome-shell-extensions-3.14.2.tar.xz) = 227872 diff --git a/x11/gnome-shell-extensions/files/patch-extensions_places-menu_placeDisplay.js b/x11/gnome-shell-extensions/files/patch-extensions_places-menu_placeDisplay.js new file mode 100644 index 000000000000..f1aa5fd35f03 --- /dev/null +++ b/x11/gnome-shell-extensions/files/patch-extensions_places-menu_placeDisplay.js @@ -0,0 +1,14 @@ +Don't error out if XDG isn't setup. +https://bugzilla.gnome.org/show_bug.cgi?id=741033 + +--- extensions/places-menu/placeDisplay.js.orig 2014-12-02 18:22:23.000000000 +0100 ++++ extensions/places-menu/placeDisplay.js 2014-12-02 18:22:49.000000000 +0100 +@@ -202,7 +202,7 @@ + let specials = []; + for (let i = 0; i < DEFAULT_DIRECTORIES.length; i++) { + let specialPath = GLib.get_user_special_dir(DEFAULT_DIRECTORIES[i]); +- if (specialPath == homePath) ++ if (specialPath == null || specialPath == homePath) + continue; + + let file = Gio.File.new_for_path(specialPath), info; |