From 39679977db7e9480d67699f336275123660c3a7f Mon Sep 17 00:00:00 2001 From: dockes Date: Tue, 14 Nov 2006 18:17:03 +0000 Subject: [PATCH] *** empty log message *** --- src/qtgui/advsearch.ui | 32 ++++++++++++++++++++++++-------- 1 file changed, 24 insertions(+), 8 deletions(-) diff --git a/src/qtgui/advsearch.ui b/src/qtgui/advsearch.ui index 924cf720..aa72d9b0 100644 --- a/src/qtgui/advsearch.ui +++ b/src/qtgui/advsearch.ui @@ -64,6 +64,14 @@ textLabel2 + + + 0 + 5 + 0 + 0 + + NoFrame @@ -85,14 +93,14 @@ conjunctCMB - - 7 - 0 - 8 - 0 - - - + + 0 + 0 + 8 + 0 + + + spacer2 @@ -114,6 +122,14 @@ addClausePB + + + 0 + 0 + 0 + 0 + + Add clause