3.8.3

PKGBUILD

@@ -2,8 +2,8 @@
 # Contributor: Flamelab <panosfilip@gmail.com
 
 pkgname=gnome-shell
-pkgver=3.8.2
-pkgrel=4
+pkgver=3.8.3
+pkgrel=1
 pkgdesc="The next generation GNOME Shell"
 arch=(i686 x86_64)
 url="http://live.gnome.org/GnomeShell"
@@ -18,19 +18,15 @@ options=('!libtool' '!emptydirs')
 install=gnome-shell.install
 groups=(gnome)
 source=(http://ftp.gnome.org/pub/GNOME/sources/$pkgname/${pkgver::3}/$pkgname-$pkgver.tar.xz
-        nm-libexecdir.patch popupmenu.patch)
-sha256sums=('ffdf42d382d50cd756f1f51a31eaa6877edb51a08f0ca80b6e973f05072416df'
-            'e5bb10ad2e5c3e0fde3d05babd1bfdda701e553e02d493f7e54cb7832ce7e607'
-            '7df2a128d12350fe8e349c6aa5e125eb5d90b05e0201a842d6f3e1c2683b351d')
+        nm-libexecdir.patch)
+sha256sums=('145724f21ead9dbe0c39d3ab468b39264c7aaf3f0fa5d152b295d905d8339c22'
+            'e5bb10ad2e5c3e0fde3d05babd1bfdda701e553e02d493f7e54cb7832ce7e607')
 
 prepare() {
   cd $pkgname-$pkgver
 
   # FS#30747 FS#32730 Problems due to libexecdir different from NM
   patch -Np1 -i ../nm-libexecdir.patch
-
-  # FS#35326 (from gnome-3-8 branch)
-  patch -Np1 -i ../popupmenu.patch
 }
 
 build() {

popupmenu.patch

@@ -1,28 +0,0 @@
-From dd8ca024254341258a9e54c253c080f25be6f9cd Mon Sep 17 00:00:00 2001
-From: Florian Müllner <fmuellner@gnome.org>
-Date: Tue, 14 May 2013 16:55:08 +0000
-Subject: PopupMenuManager: Fix child menus
-
-Since commit c84dc6254d2d65c, popup menus are closed automatically
-when another menu opens (to catch the case where a menu is opened
-by keyboard shortcut, which wasn't handled before). However in the
-case of child menus, both child and parent are expected to be visible,
-so handle this case explicitly.
-
-https://bugzilla.gnome.org/show_bug.cgi?id=699678
----
-diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js
-index fc37dd8..ab6c795 100644
---- a/js/ui/popupMenu.js
-+++ b/js/ui/popupMenu.js
-@@ -2124,7 +2124,7 @@ const PopupMenuManager = new Lang.Class({
- 
-     _onMenuOpenState: function(menu, open) {
-         if (open) {
--            if (this.activeMenu)
-+            if (this.activeMenu && !this.activeMenu.isChildMenu(menu))
-                 this.activeMenu.close(BoxPointer.PopupAnimation.FADE);
-             this._grabHelper.grab({ actor: menu.actor, modal: true, focus: menu.sourceActor,
-                                     onUngrab: Lang.bind(this, this._closeMenu, menu) });
---
-cgit v0.9.1