Fri, 03 Jan 2014 14:13:27 +0100
Fixed layout of the editor search and replace widgets.
QScintilla/ReplaceWidget.ui | file | annotate | diff | comparison | revisions | |
QScintilla/SearchWidget.ui | file | annotate | diff | comparison | revisions |
--- a/QScintilla/ReplaceWidget.ui Fri Jan 03 13:52:58 2014 +0100 +++ b/QScintilla/ReplaceWidget.ui Fri Jan 03 14:13:27 2014 +0100 @@ -6,12 +6,12 @@ <rect> <x>0</x> <y>0</y> - <width>805</width> + <width>813</width> <height>56</height> </rect> </property> <property name="sizePolicy"> - <sizepolicy hsizetype="Expanding" vsizetype="Preferred"> + <sizepolicy hsizetype="MinimumExpanding" vsizetype="Preferred"> <horstretch>0</horstretch> <verstretch>0</verstretch> </sizepolicy>
--- a/QScintilla/SearchWidget.ui Fri Jan 03 13:52:58 2014 +0100 +++ b/QScintilla/SearchWidget.ui Fri Jan 03 14:13:27 2014 +0100 @@ -6,12 +6,12 @@ <rect> <x>0</x> <y>0</y> - <width>959</width> + <width>973</width> <height>25</height> </rect> </property> <property name="sizePolicy"> - <sizepolicy hsizetype="Expanding" vsizetype="Preferred"> + <sizepolicy hsizetype="MinimumExpanding" vsizetype="Preferred"> <horstretch>0</horstretch> <verstretch>0</verstretch> </sizepolicy>