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