The source project of this merge request has been removed.
general: Tweak several tooltips
This MR:
- Makes some tooltips shorter
- Changes "Show operations" tooltip to "File Operations" so it can be more clear
- Applies header capitalization to some tooltips
- Adds a tooltip to the filter button from the search entry
https://developer.gnome.org/hig/patterns/feedback/tooltips.html
Fixes: #2754 (closed)