window: Prefer menu bars when handling F10
authorFlorian Müllner <fmuellner@gnome.org>
Fri, 27 Aug 2021 22:10:00 +0000 (00:10 +0200)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 2 Sep 2021 23:59:41 +0000 (19:59 -0400)
commitd0d982e2eddd00ff935193673c6d60f3c9a535aa
treebd244157cbbf65827e470d41123265c6daf637db
parent6ad047ab798f7d524bd6379b15d3e9d661f8b454
window: Prefer menu bars when handling F10

Focusing the first widget in the titlebar is a good fallback,
but a "real" menubar or :primary menu button should take
precedence.
gtk/gtkwindow.c