</rect>
</property>
<property name="sizePolicy">
- <sizepolicy hsizetype="Ignored" vsizetype="Ignored">
+ <sizepolicy hsizetype="Preferred" vsizetype="Preferred">
<horstretch>0</horstretch>
<verstretch>0</verstretch>
</sizepolicy>
<item>
<widget class="QTextEdit" name="viewSourceTV">
<property name="sizePolicy">
- <sizepolicy hsizetype="MinimumExpanding" vsizetype="MinimumExpanding">
+ <sizepolicy hsizetype="Preferred" vsizetype="Preferred">
<horstretch>0</horstretch>
<verstretch>0</verstretch>
</sizepolicy>
- Fix invalid writing of default_otf_view_format preference (bug 9100).
+- Open View > Source Pane at a reasonable size (bug 9084). The downside of
+ this fix is that the Source Pane cannot be shrunken ad infinitum anymore.
+
* INTERNALS