✨ Add termFontSize setting

GitSquared · Feb 4, 2019 · dc1bcee · dc1bcee
1 parent 66d718b
commit dc1bcee
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 1 deletion.
diff --git a/src/_boot.js b/src/_boot.js
@@ -69,6 +69,7 @@ if (!fs.existsSync(settingsFile)) {
         cwd: electron.app.getPath("userData"),
         keyboard: "en-US",
         theme: "tron",
+        termFontSize: 15,
         audio: true,
         extraAudio: false,
         pingAddr: "1.1.1.1",

diff --git a/src/_renderer.js b/src/_renderer.js
@@ -583,6 +583,11 @@ window.openSettings = async () => {
                             ${themes}
                         </select></td>
                     </tr>
+                    <tr>
+                        <td>termFontSize</td>
+                        <td>Size of the terminal text in pixels</td>
+                        <td><input type="number" id="settingsEditor-termFontSize" value="${window.settings.termFontSize}"></td>
+                    </tr>
                     <tr>
                         <td>audio</td>
                         <td>Activate audio sound effects</td>
@@ -690,6 +695,7 @@ window.writeSettingsFile = () => {
         env: document.getElementById("settingsEditor-env").value,
         keyboard: document.getElementById("settingsEditor-keyboard").value,
         theme: document.getElementById("settingsEditor-theme").value,
+        termFontSize: Number(document.getElementById("settingsEditor-termFontSize").value),
         audio: (document.getElementById("settingsEditor-audio").value === "true"),
         extraAudio: (document.getElementById("settingsEditor-extraAudio").value === "true"),
         pingAddr: document.getElementById("settingsEditor-pingAddr").value,

diff --git a/src/classes/terminal.class.js b/src/classes/terminal.class.js
@@ -40,7 +40,7 @@ class Terminal {
                 cursorStyle: window.theme.terminal.cursorStyle || "block",
                 allowTransparency: window.theme.terminal.allowTransparency || false,
                 fontFamily: window.theme.terminal.fontFamily || "Fira Mono",
-                fontSize: window.theme.terminal.fontSize || 15,
+                fontSize: window.theme.terminal.fontSize || window.settings.termFontSize || 15,
                 fontWeight: window.theme.terminal.fontWeight || "normal",
                 fontWeightBold: window.theme.terminal.fontWeightBold || "bold",
                 letterSpacing: window.theme.terminal.letterSpacing || 0,