Skip to content
GitLab
Explore
Sign in
GNOME
gnome-disk-utility
Merge requests
!109
window: Rename "Application Menu" to "Main Menu"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Automeris naranja
requested to merge
automerisnaranja/gnome-disk-utility:main-menu-tooltip
into
main
May 31, 2024
Overview
0
Commits
1
Pipelines
1
Changes
1
Expand
"Main Menu" is the correct name:
https://developer.gnome.org/hig/patterns/feedback/tooltips.html
Merge request reports