From ee5a26593e6cd656b2fdff3db4f804614643c51b Mon Sep 17 00:00:00 2001 From: Automeris naranja Date: Thu, 21 Sep 2023 16:46:06 -0300 Subject: [PATCH] extensions-window: Add tooltips to headerbar buttons "Controls in the header bars of primary windows should all have tooltips". https://developer.gnome.org/hig/patterns/feedback/tooltips.html Part-of: --- subprojects/extensions-app/data/ui/extensions-window.ui | 2 ++ 1 file changed, 2 insertions(+) diff --git a/subprojects/extensions-app/data/ui/extensions-window.ui b/subprojects/extensions-app/data/ui/extensions-window.ui index a39be49ae..6779e8edf 100644 --- a/subprojects/extensions-app/data/ui/extensions-window.ui +++ b/subprojects/extensions-app/data/ui/extensions-window.ui @@ -22,6 +22,7 @@ + Main Menu True primary-menu open-menu-symbolic @@ -30,6 +31,7 @@ + Search True edit-find-symbolic