From f699ee1363771470b1beb472787c4ef05ea88745 Mon Sep 17 00:00:00 2001 From: Christophe Dumez Date: Mon, 14 Jun 2010 15:42:15 +0000 Subject: [PATCH] Fix font issue in search engine (closes #594200) --- src/ui/search.ui | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/src/ui/search.ui b/src/ui/search.ui index e20c13be0..aeb670fe0 100644 --- a/src/ui/search.ui +++ b/src/ui/search.ui @@ -59,13 +59,8 @@ - Sans Serif - 9 75 - false true - false - false @@ -167,9 +162,7 @@ - - - + search_pattern