diff --git a/src/frontends/qt4/ui/ExternalUi.ui b/src/frontends/qt4/ui/ExternalUi.ui
index 703d215fbd..a89363eb19 100644
--- a/src/frontends/qt4/ui/ExternalUi.ui
+++ b/src/frontends/qt4/ui/ExternalUi.ui
@@ -101,7 +101,7 @@
QSizePolicy::Preferred
-
+
20
20
@@ -112,9 +112,7 @@
-
-
- 0
- 0
+
0
0
@@ -134,12 +132,12 @@
LaTe&X and LyX options
-
- 9
-
6
+
+ 9
+
-
@@ -232,9 +230,7 @@ p, li { white-space: pre-wrap; }
true
-
- 0
- 0
+
0
0
@@ -249,7 +245,7 @@ p, li { white-space: pre-wrap; }
Qt::Horizontal
-
+
40
20
@@ -265,7 +261,7 @@ p, li { white-space: pre-wrap; }
Qt::Vertical
-
+
81
196
@@ -309,7 +305,7 @@ p, li { white-space: pre-wrap; }
QSizePolicy::Expanding
-
+
20
20
@@ -328,9 +324,7 @@ p, li { white-space: pre-wrap; }
-
-
- 0
- 0
+
0
0
@@ -541,7 +535,7 @@ p, li { white-space: pre-wrap; }
Qt::Horizontal
-
+
43
18
@@ -571,12 +565,12 @@ p, li { white-space: pre-wrap; }
-
-
- 0
-
6
+
+ 0
+
-
@@ -585,7 +579,7 @@ p, li { white-space: pre-wrap; }
QSizePolicy::Expanding
-
+
20
20