diff options
author | Miodrag Milanovic <mmicko@gmail.com> | 2018-06-19 15:17:10 +0200 |
---|---|---|
committer | Miodrag Milanovic <mmicko@gmail.com> | 2018-06-19 15:17:34 +0200 |
commit | b5c1b0907974b3c94794a75e84d6c374c3326c40 (patch) | |
tree | 46bdaaf65d844428a8959a3d8c0457024af35c51 /gui/infotab.cc | |
parent | 3a505638a6d4d62023082d8719aa224f8d544ec0 (diff) | |
download | nextpnr-b5c1b0907974b3c94794a75e84d6c374c3326c40.tar.gz nextpnr-b5c1b0907974b3c94794a75e84d6c374c3326c40.tar.bz2 nextpnr-b5c1b0907974b3c94794a75e84d6c374c3326c40.zip |
Small gui improvements and open json functionality
Diffstat (limited to 'gui/infotab.cc')
-rw-r--r-- | gui/infotab.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gui/infotab.cc b/gui/infotab.cc index 0bf43b90..a5659569 100644 --- a/gui/infotab.cc +++ b/gui/infotab.cc @@ -5,6 +5,9 @@ InfoTab::InfoTab(QWidget *parent) : QWidget(parent) {
plainTextEdit = new QPlainTextEdit();
plainTextEdit->setReadOnly(true);
+ QFont f("unexistent");
+ f.setStyleHint(QFont::Monospace);
+ plainTextEdit->setFont(f);
QGridLayout *mainLayout = new QGridLayout();
mainLayout->addWidget(plainTextEdit);
|