From 3fdcbfe002d7591e9fb2ad91f60a1f83cae233c9 Mon Sep 17 00:00:00 2001 From: Florian Geyer Date: Sun, 27 May 2012 13:54:03 +0200 Subject: [PATCH] Cleanup of search widget. --- src/gui/SearchWidget.ui | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/src/gui/SearchWidget.ui b/src/gui/SearchWidget.ui index 38fa4e42..5364279e 100644 --- a/src/gui/SearchWidget.ui +++ b/src/gui/SearchWidget.ui @@ -11,17 +11,7 @@ - - - - Case sensitive - - - - - - - + @@ -42,6 +32,16 @@ + + + + + + + Case sensitive + + +