commit 6c3a6ea9bd0adf13e4ac0ad4df8d73e680ccc965
Author: Scott Kostyshak <skost...@lyx.org>
Date: Sun Jun 28 04:50:02 2015 -0400
Give Advanced Find a minimum size
The horizontal size policy is now set to "MinimumExpanding", which
means that sizeHint() is enforced as a minimum, but that the widget
can make use of extra available space.
Before, the size policy was ignored, and often resulted in a
scrunched pane that had to have its size manually increased.
diff --git a/src/frontends/qt4/ui/FindAndReplaceUi.ui
b/src/frontends/qt4/ui/FindAndReplaceUi.ui
index 2e113c7..da58165 100644
--- a/src/frontends/qt4/ui/FindAndReplaceUi.ui
+++ b/src/frontends/qt4/ui/FindAndReplaceUi.ui
@@ -11,7 +11,7 @@
</rect>
</property>
<property name="sizePolicy">
- <sizepolicy hsizetype="Ignored" vsizetype="Ignored">
+ <sizepolicy hsizetype="MinimumExpanding" vsizetype="Ignored">
<horstretch>0</horstretch>
<verstretch>0</verstretch>
</sizepolicy>
