topbar: Add tooltip to all header bar buttons (!138) · Merge requests · GNOME / Connections · GitLab

The source project of this merge request has been removed.

Felipe Kinoshita requested to merge (removed):headerbar_button_tooltips into master Mar 14, 2023

This is recommended by the HIG so let's follow it.

See https://developer.gnome.org/hig/patterns/feedback/tooltips.html