From df93d906cefa28e8a9b0a9c225366e2f1b4abeb6 Mon Sep 17 00:00:00 2001 From: Jeremy Mack Wright Date: Thu, 16 Nov 2017 14:06:20 -0500 Subject: [PATCH] Added a font size setting for the Python editor. --- Gui/ImportCQ.py | 3 +++ Settings.py | 3 ++- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/Gui/ImportCQ.py b/Gui/ImportCQ.py index bddb855..4e0c601 100644 --- a/Gui/ImportCQ.py +++ b/Gui/ImportCQ.py @@ -81,6 +81,9 @@ def open(filename): # Set the margin to be at 119 characters instead of 79 codePane.modes.get(RightMarginMode).position = Settings.max_line_length + # Set the font size of the Python editor + codePane.font_size = Settings.font_size + codePane.setObjectName("cqCodePane_" + os.path.splitext(os.path.basename(filename))[0]) mdi = mw.findChild(QtGui.QMdiArea) diff --git a/Settings.py b/Settings.py index 200a424..a9bb87e 100644 --- a/Settings.py +++ b/Settings.py @@ -1,3 +1,4 @@ execute_on_save = False # Automatically execute a script every time you save use_external_editor = False # Automatically reloads and executes a file when an external change is made -max_line_length = 79 # The number of characters per line that is allowed before a warning is given \ No newline at end of file +max_line_length = 79 # The number of characters per line that is allowed before a warning is given +font_size = 10 # Sets the font size of the Python editor