diff options
| author | kwm <kwm@FreeBSD.org> | 2014-12-31 04:13:46 +0800 |
|---|---|---|
| committer | kwm <kwm@FreeBSD.org> | 2014-12-31 04:13:46 +0800 |
| commit | 816bd153bdd241d15760e1f3157b6599b480a604 (patch) | |
| tree | f8d16b26e7f6882796704c78c3316de2d96ca435 /x11/gnome-shell-extensions | |
| parent | 2708491b9858faea7fe6e4a4c93aec5355aeaf49 (diff) | |
| download | freebsd-ports-gnome-816bd153bdd241d15760e1f3157b6599b480a604.tar.gz freebsd-ports-gnome-816bd153bdd241d15760e1f3157b6599b480a604.tar.zst freebsd-ports-gnome-816bd153bdd241d15760e1f3157b6599b480a604.zip | |
Update cinnamon to 2.4, this should fix [1] and [2].
Update totem to 3.14 now that we have gstreamer 1.4 and minor gnome updates.
Update evolution suite to 3.12.9.
Make sure gtk30 pulls in adwait-icon-theme, since it now the default theme [3].
PR: 195290 [1], 195289 [2], 195455 [3]
Obtained from: gnome devel repo
Diffstat (limited to 'x11/gnome-shell-extensions')
| -rw-r--r-- | x11/gnome-shell-extensions/Makefile | 2 | ||||
| -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, 3 insertions, 17 deletions
diff --git a/x11/gnome-shell-extensions/Makefile b/x11/gnome-shell-extensions/Makefile index b4415edff4cd..dba0c6a506a1 100644 --- a/x11/gnome-shell-extensions/Makefile +++ b/x11/gnome-shell-extensions/Makefile @@ -3,7 +3,7 @@ # $MCom: ports/trunk/x11/gnome-shell-extensions/Makefile 20075 2014-11-13 06:53:37Z gusi $ PORTNAME= gnome-shell-extensions -PORTVERSION= 3.14.2 +PORTVERSION= 3.14.3 CATEGORIES= x11 gnome MASTER_SITES= GNOME DIST_SUBDIR= gnome3 diff --git a/x11/gnome-shell-extensions/distinfo b/x11/gnome-shell-extensions/distinfo index f3880f4b3a8f..93e31ce112ee 100644 --- a/x11/gnome-shell-extensions/distinfo +++ b/x11/gnome-shell-extensions/distinfo @@ -1,2 +1,2 @@ -SHA256 (gnome3/gnome-shell-extensions-3.14.2.tar.xz) = bf0bf033d9ddd62ff005f55c2917b49df0719132df9c081e8d7e27c571819135 -SIZE (gnome3/gnome-shell-extensions-3.14.2.tar.xz) = 227872 +SHA256 (gnome3/gnome-shell-extensions-3.14.3.tar.xz) = 183477b54b0aff78ead7bbd2aa0ab813544f65d04546d81ace858662a8810a2e +SIZE (gnome3/gnome-shell-extensions-3.14.3.tar.xz) = 227948 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 deleted file mode 100644 index f1aa5fd35f03..000000000000 --- a/x11/gnome-shell-extensions/files/patch-extensions_places-menu_placeDisplay.js +++ /dev/null @@ -1,14 +0,0 @@ -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; |