From 31dd21f55f9dc4b4fa92e9bf1cd70536898b62d3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rub=C3=A9n=20Rodr=C3=ADguez?= <ruben@trisquel.info>
Date: Thu, 22 May 2014 00:37:07 +0200
Subject: [PATCH] Disabled mouse modifier in gnome-panel

---
 helpers/DATA/gnome-panel/no-mouse-modifier.patch | 15 +++++++++++++++
 helpers/make-gnome-panel                         |  5 ++++-
 2 files changed, 19 insertions(+), 1 deletion(-)
 create mode 100644 helpers/DATA/gnome-panel/no-mouse-modifier.patch

diff --git a/helpers/DATA/gnome-panel/no-mouse-modifier.patch b/helpers/DATA/gnome-panel/no-mouse-modifier.patch
new file mode 100644
index 00000000..1f8559cb
--- /dev/null
+++ b/helpers/DATA/gnome-panel/no-mouse-modifier.patch
@@ -0,0 +1,15 @@
+--- gnome-panel-3.8.0/gnome-panel/panel.c	2013-09-25 14:10:00.000000000 +0000
++++ gnome-panel-3.8.0.mod/gnome-panel/panel.c	2014-05-21 18:20:31.000000000 +0000
+@@ -363,9 +363,9 @@
+ 	if (event->button != 3)
+ 		return FALSE;
+ 
+-	modifiers = event->state & gtk_accelerator_get_default_mod_mask ();
++	//modifiers = event->state & gtk_accelerator_get_default_mod_mask ();
+ 
+-	if (modifiers == panel_bindings_get_mouse_button_modifier_keymask ())
++	//if (modifiers == panel_bindings_get_mouse_button_modifier_keymask ())
+ 		return panel_popup_menu (toplevel, event->button, event->time);
+ 
+ 	return FALSE;
+Only in gnome-panel-3.8.0: po
diff --git a/helpers/make-gnome-panel b/helpers/make-gnome-panel
index 0c50d716..95a9a855 100644
--- a/helpers/make-gnome-panel
+++ b/helpers/make-gnome-panel
@@ -17,7 +17,7 @@
 #    Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301 USA
 #
 
-VERSION=1
+VERSION=4
 
 . ./config
 
@@ -96,6 +96,9 @@ EOF
 # We don't want to show the gnome-online-accounts stuff yet
 patch -p1 < $DATA/hide-online-accounts-menu.patch
 
+# Do not require alt or alt+supr key modifiers for showing menus on right click
+patch -p1 < $DATA/no-mouse-modifier.patch
+
 changelog "Changed default layout"
 
 compile
-- 
GitLab