primary menu: Rename tooltip to Main Menu (!135) · Merge requests · GNOME / Console · GitLab

Hari Rana requested to merge TheEvilSkeleton/console:main_menu into main Jan 22, 2023

Comply with GNOME tooltips guidelines: https://developer.gnome.org/hig/patterns/feedback/tooltips.html?highlight=main%20menu