The attached simple patch addresses this bug. The problem is detailed
there: http://bugzilla.lyx.org/show_bug.cgi?id=3477.
OK to commit?
Richard
--
==================================================================
Richard G Heck, Jr
Professor of Philosophy
Brown University
http://frege.brown.edu/heck/
==================================================================
Get my public key from http://sks.keyserver.penguin.de
Hash: 0x1DE91F1E66FFBDEC
Learn how to sign your email using Thunderbird and GnuPG at:
http://dudu.dyn.2-h.org/nist/gpg-enigmail-howto
Index: PrefConvertersUi.ui
===================================================================
--- PrefConvertersUi.ui (revision 18769)
+++ PrefConvertersUi.ui (working copy)
@@ -5,8 +5,8 @@
<rect>
<x>0</x>
<y>0</y>
- <width>423</width>
- <height>394</height>
+ <width>438</width>
+ <height>466</height>
</rect>
</property>
<property name="windowTitle" >
@@ -22,7 +22,7 @@
<item row="0" column="0" >
<widget class="QGroupBox" name="converterDefGB" >
<property name="title" >
- <string>Converter Defi&nitions</string>
+ <string/>
</property>
<layout class="QGridLayout" >
<property name="margin" >
@@ -31,7 +31,19 @@
<property name="spacing" >
<number>6</number>
</property>
- <item row="2" column="0" colspan="2" >
+ <item row="1" column="0" >
+ <widget class="QListWidget" name="convertersLW" >
+ <property name="sizePolicy" >
+ <sizepolicy>
+ <hsizetype>7</hsizetype>
+ <vsizetype>7</vsizetype>
+ <horstretch>0</horstretch>
+ <verstretch>0</verstretch>
+ </sizepolicy>
+ </property>
+ </widget>
+ </item>
+ <item row="3" column="0" colspan="2" >
<layout class="QGridLayout" >
<property name="margin" >
<number>0</number>
@@ -87,7 +99,7 @@
</item>
</layout>
</item>
- <item row="1" column="0" colspan="2" >
+ <item row="2" column="0" colspan="2" >
<layout class="QHBoxLayout" >
<property name="margin" >
<number>0</number>
@@ -161,7 +173,7 @@
</item>
</layout>
</item>
- <item row="0" column="1" >
+ <item row="1" column="1" >
<layout class="QVBoxLayout" >
<property name="margin" >
<number>0</number>
@@ -213,16 +225,22 @@
</item>
</layout>
</item>
- <item row="0" column="0" >
- <widget class="QListWidget" name="convertersLW" >
+ <item row="0" column="0" colspan="2" >
+ <widget class="QLabel" name="label" >
<property name="sizePolicy" >
<sizepolicy>
- <hsizetype>7</hsizetype>
- <vsizetype>7</vsizetype>
+ <hsizetype>1</hsizetype>
+ <vsizetype>5</vsizetype>
<horstretch>0</horstretch>
<verstretch>0</verstretch>
</sizepolicy>
</property>
+ <property name="text" >
+ <string>Converter Defi&nitions</string>
+ </property>
+ <property name="buddy" >
+ <cstring>convertersLW</cstring>
+ </property>
</widget>
</item>
</layout>
