From 213a3bc5573c7d1c69d9d318165a017d1ef42d14 Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Tue, 16 Feb 2021 10:02:47 +0100 Subject: [PATCH] Add/fix some tooltips --- src/frontends/qt/ui/SearchUi.ui | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/src/frontends/qt/ui/SearchUi.ui b/src/frontends/qt/ui/SearchUi.ui index a1826d9fe9..1ea51a8beb 100644 --- a/src/frontends/qt/ui/SearchUi.ui +++ b/src/frontends/qt/ui/SearchUi.ui @@ -200,6 +200,9 @@ + + Treat uppercase/lowercase writing as distinct + &Case sensitive[[search]] @@ -207,6 +210,9 @@ + + Match whole words only + Wh&ole words @@ -215,7 +221,7 @@ - Onlysearch in selection + Limit search and replace to selection Selection onl&y -- 2.39.2