diff -r b60af978f526 -r 0705902d6c0f QScintilla/ReplaceWidget.ui
--- a/QScintilla/ReplaceWidget.ui Thu Jan 05 19:37:23 2012 +0100
+++ b/QScintilla/ReplaceWidget.ui Fri Jan 06 12:31:59 2012 +0100
@@ -6,26 +6,17 @@
<rect>
<x>0</x>
<y>0</y>
- <width>722</width>
- <height>77</height>
+ <width>724</width>
+ <height>69</height>
</rect>
</property>
<property name="windowTitle">
<string>Find and Replace</string>
</property>
<layout class="QGridLayout" name="gridLayout">
- <property name="leftMargin">
- <number>0</number>
- </property>
- <property name="topMargin">
+ <property name="margin">
<number>0</number>
</property>
- <property name="rightMargin">
- <number>0</number>
- </property>
- <property name="bottomMargin">
- <number>12</number>
- </property>
<item row="0" column="0">
<widget class="QToolButton" name="closeButton">
<property name="toolTip">
