Use command line parameters settings for GUI as well.

1 files changed, 2 insertions, 1 deletions

diff --git a/gui/generic/mainwindow.cc b/gui/generic/mainwindow.cc
index fef63094..88e291e6 100644
--- a/gui/generic/mainwindow.cc
+++ b/gui/generic/mainwindow.cc
@@ -23,7 +23,7 @@ static void initMainResource() { Q_INIT_RESOURCE(nextpnr); }
 

 NEXTPNR_NAMESPACE_BEGIN

 

-MainWindow::MainWindow(QWidget *parent) : BaseMainWindow(parent)

+MainWindow::MainWindow(std::unique_ptr<Context> context, QWidget *parent) : BaseMainWindow(std::move(context), parent)

 {

     initMainResource();

 

@@ -31,6 +31,7 @@ MainWindow::MainWindow(QWidget *parent) : BaseMainWindow(parent)
     setWindowTitle(title.c_str());

 

     createMenu();

+    Q_EMIT contextChanged(ctx.get());

 }

 

 MainWindow::~MainWindow() {}