From 4fbefb9e99f191f86394ae27c00689f2e2b6749d Mon Sep 17 00:00:00 2001 From: Bill Somerville Date: Sun, 16 Dec 2018 01:30:27 +0000 Subject: [PATCH] Remove extraneous MainWindow UI element --- widgets/mainwindow.ui | 5 ----- 1 file changed, 5 deletions(-) diff --git a/widgets/mainwindow.ui b/widgets/mainwindow.ui index 21799434e..8815fd530 100644 --- a/widgets/mainwindow.ui +++ b/widgets/mainwindow.ui @@ -3476,10 +3476,5 @@ list. The list can be maintained in Settings (F2). - - - true - -