diff --git a/src/gui/mainwindow.ui b/src/gui/mainwindow.ui index 8833c3c16..c3646c401 100644 --- a/src/gui/mainwindow.ui +++ b/src/gui/mainwindow.ui @@ -35,7 +35,7 @@ 0 0 914 - 21 + 23 @@ -108,8 +108,6 @@ - - @@ -355,17 +353,6 @@ P&ause All - - - true - - - &Log - - - Execution Log - - true