commit: e31f507286b58ec4dcfc281022cecefa66fba56d
parent 48568fc7e91e2080b9e9422598483e573c120da1
Author: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
Date: Sat, 24 Oct 2020 12:06:03 +0200
Set context/popup-menu pointer-based anchor to the center
This way I can simply select items and effectively use both up/down rather than just down
Diffstat:
2 files changed, 26 insertions(+), 0 deletions(-)
diff --git a/patches/net-libs/webkit-gtk/contextMenu-pointer_anchor-at-center.patch b/patches/net-libs/webkit-gtk/contextMenu-pointer_anchor-at-center.patch
@@ -0,0 +1,13 @@
+diff --git a/Source/WebKit/UIProcess/gtk/WebContextMenuProxyGtk.cpp.old b/Source/WebKit/UIProcess/gtk/WebContextMenuProxyGtk.cpp
+index 809d0fc..953edbb 100644
+--- a/Source/WebKit/UIProcess/gtk/WebContextMenuProxyGtk.cpp.old
++++ b/Source/WebKit/UIProcess/gtk/WebContextMenuProxyGtk.cpp
+@@ -112,7 +112,7 @@ static void popupMenuWidget(GtkWidget* widget, const GdkEvent* triggerEvent, con
+ event->keyval = GDK_KEY_Menu;
+ triggerEvent = keyEvent.get();
+ };
+- gtk_menu_popup_at_rect(GTK_MENU(widget), window, &target, GDK_GRAVITY_SOUTH_WEST, GDK_GRAVITY_NORTH_WEST, triggerEvent);
++ gtk_menu_popup_at_rect(GTK_MENU(widget), window, &target, GDK_GRAVITY_SOUTH_WEST, GDK_GRAVITY_CENTER, triggerEvent);
+ }
+
+ static inline void popdownMenuWidget(GtkWidget* widget)
diff --git a/patches/x11-libs/gtk+/gtkmenu-pointer_anchor-at-center.patch b/patches/x11-libs/gtk+/gtkmenu-pointer_anchor-at-center.patch
@@ -0,0 +1,13 @@
+diff --git a/gtk/gtkmenu.c.old b/gtk/gtkmenu.c
+index eac972b..032dacd 100644
+--- a/gtk/gtkmenu.c.old
++++ b/gtk/gtkmenu.c
+@@ -2431,7 +2431,7 @@ gtk_menu_popup_at_pointer (GtkMenu *menu,
+ rect_window,
+ &rect,
+ GDK_GRAVITY_SOUTH_EAST,
+- GDK_GRAVITY_NORTH_WEST,
++ GDK_GRAVITY_CENTER,
+ trigger_event);
+
+ g_clear_pointer (¤t_event, gdk_event_free);