From 3e1702b1bdd14b71d3c59ddd408e92fdcdddc40c Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Thu, 23 Apr 2020 14:24:32 +0200 Subject: [PATCH] Hint at (new) filter function in tooltip. --- src/frontends/qt/ui/FontUi.ui | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/frontends/qt/ui/FontUi.ui b/src/frontends/qt/ui/FontUi.ui index 0063437a48..2bd0721ea9 100644 --- a/src/frontends/qt/ui/FontUi.ui +++ b/src/frontends/qt/ui/FontUi.ui @@ -119,7 +119,7 @@ - Select the roman (serif) typeface + Select the roman (serif) typeface. To filter the list of fonts, just start typing while the list is expanded. @@ -214,7 +214,7 @@ - Select the Sans Serif (grotesque) typeface + Select the Sans Serif (grotesque) typeface. To filter the list of fonts, just start typing while the list is expanded. @@ -322,7 +322,7 @@ - Select the typewriter (monospaced) typeface + Select the typewriter (monospaced) typeface. To filter the list of fonts, just start typing while the list is expanded. -- 2.39.2