From 841f3f5fa381aec584e8c0a38a886d307ac75b19 Mon Sep 17 00:00:00 2001 From: Marius Stanciu Date: Thu, 31 Dec 2020 06:07:11 +0200 Subject: [PATCH] - added the modifications made by Andre Spahlinger in PR #333 --- CHANGELOG.md | 1 + appTools/ToolShell.py | 10 +++++++++- 2 files changed, 10 insertions(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index c822001d..0e36cf4c 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -11,6 +11,7 @@ CHANGELOG for FlatCAM beta - fixed the issue with not saving the project on program close if selecting the 'Yes' option. - all the logs done on Exception are now errors (with the exception of few places where the Exception is expected) +- added the modifications made by Andre Spahlinger in PR #333 30.12.2020 diff --git a/appTools/ToolShell.py b/appTools/ToolShell.py index 555605f0..3e99ca77 100644 --- a/appTools/ToolShell.py +++ b/appTools/ToolShell.py @@ -8,6 +8,7 @@ from PyQt5 import QtCore, QtGui, QtWidgets +from PyQt5.QtCore import QSettings from PyQt5.QtGui import QTextCursor, QPixmap from PyQt5.QtWidgets import QVBoxLayout, QWidget, QHBoxLayout, QLabel from appGUI.GUIElements import _BrowserTextEdit, _ExpandableTextEdit, FCLabel @@ -41,7 +42,14 @@ class TermWidget(QWidget): self.app = app self._browser = _BrowserTextEdit(version=version, app=app) - self._browser.setStyleSheet("font: 9pt \"Courier\";") + + qsettings = QSettings("Open Source", "FlatCAM") + if qsettings.contains("textbox_font_size"): + tb_fsize = qsettings.value('textbox_font_size', type=int) + else: + tb_fsize = 9 + self._browser.setStyleSheet("font: {0}pt \"Courier\";".format(tb_fsize)) + self._browser.setReadOnly(True) self._browser.document().setDefaultStyleSheet( self._browser.document().defaultStyleSheet() +