Skip to content

Instantly share code, notes, and snippets.

@wlach
Created April 15, 2020 18:29
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save wlach/f6e311867bb6b08bf45f73e11e322842 to your computer and use it in GitHub Desktop.
Save wlach/f6e311867bb6b08bf45f73e11e322842 to your computer and use it in GitHub Desktop.
diff --git a/gui/mozregui/mainwindow.py b/gui/mozregui/mainwindow.py
index 3386c6d..c8daba9 100644
--- a/gui/mozregui/mainwindow.py
+++ b/gui/mozregui/mainwindow.py
@@ -40,6 +40,10 @@ class MainWindow(QMainWindow):
self.ui = Ui_MainWindow()
self.ui.setupUi(self)
+ # force the log widget to be visible, in case it was ever
+ # turned off (possible in previous versions)
+ self.ui.logDockWidget.setVisible(True)
+
self.bisect_runner = BisectRunner(self)
self.single_runner = SingleBuildRunner(self)
self.current_runner = None
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment