From e5a3f79bef564822c60dbf35d67b525c40987096 Mon Sep 17 00:00:00 2001
From: uenz <uenz@gmx.net>
Date: Tue, 29 Dec 2020 13:48:49 +0100
Subject: [PATCH] Take fontsize from config textbook_font_size

---
 appTools/ToolShell.py | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/appTools/ToolShell.py b/appTools/ToolShell.py
index 02e093e0..97c94cdc 100644
--- a/appTools/ToolShell.py
+++ b/appTools/ToolShell.py
@@ -7,7 +7,7 @@
 # ##########################################################
 
 
-from PyQt5.QtCore import Qt
+from PyQt5.QtCore import Qt, QSettings
 from PyQt5.QtGui import QTextCursor, QPixmap
 from PyQt5.QtWidgets import QVBoxLayout, QWidget, QHBoxLayout, QLabel
 from appGUI.GUIElements import _BrowserTextEdit, _ExpandableTextEdit, FCLabel
@@ -41,7 +41,12 @@ 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() +
@@ -478,7 +483,8 @@ class FCShell(TermWidget):
                 trc_formated = []
                 for a in reversed(trc):
                     trc_formated.append(a.replace("    ", " > ").replace("\n", ""))
-                text = "%s\nPython traceback: %s\n%s" % (exc_value, exc_type, "\n".join(trc_formated))
+                text = "%s\nPython traceback: %s\n%s" % (
+                    exc_value, exc_type, "\n".join(trc_formated))
             else:
                 text = "%s" % error
         else: