- added the modifications made by Andre Spahlinger in PR #333

This commit is contained in:
Marius Stanciu
2020-12-31 06:07:11 +02:00
committed by Marius
parent 9dfa3b497d
commit 841f3f5fa3
2 changed files with 10 additions and 1 deletions

View File

@@ -11,6 +11,7 @@ CHANGELOG for FlatCAM beta
- fixed the issue with not saving the project on program close if selecting the 'Yes' option. - 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) - 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 30.12.2020

View File

@@ -8,6 +8,7 @@
from PyQt5 import QtCore, QtGui, QtWidgets from PyQt5 import QtCore, QtGui, QtWidgets
from PyQt5.QtCore import QSettings
from PyQt5.QtGui import QTextCursor, QPixmap from PyQt5.QtGui import QTextCursor, QPixmap
from PyQt5.QtWidgets import QVBoxLayout, QWidget, QHBoxLayout, QLabel from PyQt5.QtWidgets import QVBoxLayout, QWidget, QHBoxLayout, QLabel
from appGUI.GUIElements import _BrowserTextEdit, _ExpandableTextEdit, FCLabel from appGUI.GUIElements import _BrowserTextEdit, _ExpandableTextEdit, FCLabel
@@ -41,7 +42,14 @@ class TermWidget(QWidget):
self.app = app self.app = app
self._browser = _BrowserTextEdit(version=version, 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.setReadOnly(True)
self._browser.document().setDefaultStyleSheet( self._browser.document().setDefaultStyleSheet(
self._browser.document().defaultStyleSheet() + self._browser.document().defaultStyleSheet() +