diff --git a/src/MainWindow.ui b/src/MainWindow.ui index 2e15c3e7..f5d4b768 100644 --- a/src/MainWindow.ui +++ b/src/MainWindow.ui @@ -335,8 +335,6 @@ - - @@ -512,17 +510,6 @@ Hide editor - - - Switch focus to editor - - - - - Switch focus to console - - - &Reload and Compile