diff --git a/src/frontends/qt4/ui/PrefLatexUi.ui b/src/frontends/qt4/ui/PrefLatexUi.ui
index a84e137330..f327288e1d 100644
--- a/src/frontends/qt4/ui/PrefLatexUi.ui
+++ b/src/frontends/qt4/ui/PrefLatexUi.ui
@@ -5,8 +5,8 @@
0
0
- 407
- 448
+ 374
+ 399
@@ -14,104 +14,102 @@
-
-
-
-
+
+
+ 9
-
- true
+
+ 9
-
-
-
-
-
- Enable if a specific font encoding (such as T1) should be used (via fontenc)
-
+
-
+
+
+ Enable if a specific font encoding (such as T1) should be used (via fontenc)
+
+
+ Use LaTe&X font encoding:
+
+
+
+ -
+
+
+ Specify the font encoding (e.g., T1).
+
+
+
+ -
+
+
+ Default paper si&ze:
+
+
+ latexPaperSizeCO
+
+
+
+ -
+
+
-
- Use LaTe&X font encoding:
+ Default
-
-
- -
-
-
- Specify the font encoding (e.g., T1).
-
-
-
- -
-
+
+ -
- Default paper si&ze:
+ US letter
-
- latexPaperSizeCO
-
-
-
- -
-
-
-
-
- Default
-
-
- -
-
- US letter
-
-
- -
-
- US legal
-
-
- -
-
- US executive
-
-
- -
-
- A3
-
-
- -
-
- A4
-
-
- -
-
- A5
-
-
- -
-
- B5
-
-
-
-
- -
-
+
+ -
- &DVI viewer paper size options:
+ US legal
-
- latexDviPaperED
+
+ -
+
+ US executive
-
-
- -
-
-
- Optional paper size flag (-paper) for some DVI viewers
+
+ -
+
+ A3
-
-
-
-
+
+ -
+
+ A4
+
+
+ -
+
+ A5
+
+
+ -
+
+ B5
+
+
+
+
+ -
+
+
+ &DVI viewer paper size options:
+
+
+ latexDviPaperED
+
+
+
+ -
+
+
+ Optional paper size flag (-paper) for some DVI viewers
+
+
+
+
-
@@ -122,6 +120,12 @@
true
+
+ 3
+
+
+ 3
+
-
@@ -181,6 +185,12 @@
true
+
+ 3
+
+
+ 3
+
-
@@ -240,6 +250,9 @@
true
+
+ 0
+
-