Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Register
Sign in
Toggle navigation
Menu
GNOME
gnome-maps
Merge requests
!288
The source project of this merge request has been removed.
general: Some tweaks to follow HIG
Merged
Automeris naranja
requested to merge
(removed):hig-tweaks
into
main
Feb 12, 2023
Overview
13
Pipelines
0
Changes
7
Add header capitalization to tooltips
Add ellipsis and header capitalization to menu items
Shorten tooltips and try to follow good tooltip examples
Edited
Feb 12, 2023
by
Automeris naranja