Skip to content
GitLab
Explore
Sign in
GNOME
gnome-text-editor
Merge requests
!88
The source project of this merge request has been removed.
editor-window.ui: Improve tooltips of headerbar buttons
Ghost User
requested to merge
(removed):improve-headerbar-button-tooltips
into
main
Dec 25, 2022
Overview
1
Pipelines
0
Changes
1
Expand
See details:
https://developer.gnome.org/hig/patterns/feedback/tooltips.html?highlight=tooltips
Edited
Dec 25, 2022
by
Ghost User
Merge request reports