diff --git a/src/frontends/qt4/ui/ProgressViewUi.ui b/src/frontends/qt4/ui/ProgressViewUi.ui index 51a740fc9a..a210a7b36a 100644 --- a/src/frontends/qt4/ui/ProgressViewUi.ui +++ b/src/frontends/qt4/ui/ProgressViewUi.ui @@ -15,7 +15,7 @@ 7 - 7 + 13 0 0 @@ -56,7 +56,7 @@ 7 - 7 + 13 0 0 @@ -101,7 +101,7 @@ 7 - 7 + 13 1 0 @@ -151,7 +151,7 @@ - + Qt::Vertical @@ -167,7 +167,7 @@ - + Automatic cleanup of the window before LaTeX compilation proceeds