general: Add and tweak tooltips (!136) · Merge requests · GNOME / Console · GitLab

The source project of this merge request has been removed.

𝅳Automeris naranja requested to merge (removed):improve-tooltips into main Feb 10, 2023

Add tooltips to the previous/next match buttons in the searchbar
Rename the "Search" button tooltip to follow HIG

Revival of !130 (closed)

Edited Feb 10, 2023 by 𝅳Automeris naranja