diff options
author | Matthias Clasen <mclasen@redhat.com> | 2021-06-03 19:37:23 +0000 |
---|---|---|
committer | Matthias Clasen <mclasen@redhat.com> | 2021-06-03 19:37:23 +0000 |
commit | e8852c9a25c64843ad42be2e97e3226507c7f448 (patch) | |
tree | fcad71e54d3b9bad5f2282671b8ab61ee3ae7660 /gdk/gdkgltexture.c | |
parent | fa0b379d30f3ad866248a1171837de8aad4d49d4 (diff) | |
parent | a74420bc1a501f6ee951ed152e8f9a941b0c8438 (diff) | |
download | gtk+-e8852c9a25c64843ad42be2e97e3226507c7f448.tar.gz |
Merge branch 'primary-menu-button' into 'master'
menubutton: Enable F10 for primary menus
See merge request GNOME/gtk!3580
Diffstat (limited to 'gdk/gdkgltexture.c')
0 files changed, 0 insertions, 0 deletions