Skip to content
GitLab
Explore
Sign in
GNOME
GNOME Contacts
Merge requests
!104
The source project of this merge request has been removed.
F10 shorcut for menu
Ghost User
requested to merge
(removed):f10support
into
master
Feb 04, 2020
Overview
1
Pipelines
0
Changes
2
Expand
Added ability/shortcut to open the menu with F10 key.
Added F10 shortcut into Keyboard Shortcuts page.
Edited
Feb 04, 2020
by
Ghost User
Merge request reports