Disabled mouse modifier in gnome-panel

helpers/DATA/gnome-panel/no-mouse-modifier.patch

+--- 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

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