Skip to content
GitLab
Explore
Sign in
GNOME
Weather
Merge requests
!136
The source project of this merge request has been removed.
general: Add tooltip to main menus
Felipe Kinoshita
requested to merge
(removed):tooltips
into
main
Apr 12, 2023
Overview
0
Pipelines
0
Changes
1
Expand
The HIG recommends the tooltip "Main Menu" so let's follow that.
Merge request reports