From 65ba42443ed20a3531bbb769f4d882c4a4bdb879 Mon Sep 17 00:00:00 2001
From: shartte
Date: Tue, 14 Jul 2020 16:19:29 +0200
Subject: Allows setting the default editor font in the configuration file.
 (#295)

---
 enigma-swing/src/main/java/cuchaz/enigma/gui/EnigmaSyntaxKit.java | 4 ++++
 enigma-swing/src/main/java/cuchaz/enigma/gui/config/Config.java   | 2 ++
 2 files changed, 6 insertions(+)

(limited to 'enigma-swing/src/main/java/cuchaz')

diff --git a/enigma-swing/src/main/java/cuchaz/enigma/gui/EnigmaSyntaxKit.java b/enigma-swing/src/main/java/cuchaz/enigma/gui/EnigmaSyntaxKit.java
index 4f1b6e6e..45f87bb4 100644
--- a/enigma-swing/src/main/java/cuchaz/enigma/gui/EnigmaSyntaxKit.java
+++ b/enigma-swing/src/main/java/cuchaz/enigma/gui/EnigmaSyntaxKit.java
@@ -52,6 +52,10 @@ public class EnigmaSyntaxKit extends JavaSyntaxKit {
         configuration.put("RightMarginColumn", "999"); //No need to have a right margin, if someone wants it add a config
 
         configuration.put("Action.quick-find", "cuchaz.enigma.gui.QuickFindAction, menu F");
+
+        if (Config.getInstance().editorFont != null) {
+            configuration.put("DefaultFont", Config.getInstance().editorFont);
+        }
     }
 
     /**
diff --git a/enigma-swing/src/main/java/cuchaz/enigma/gui/config/Config.java b/enigma-swing/src/main/java/cuchaz/enigma/gui/config/Config.java
index 373dcf04..a389196f 100644
--- a/enigma-swing/src/main/java/cuchaz/enigma/gui/config/Config.java
+++ b/enigma-swing/src/main/java/cuchaz/enigma/gui/config/Config.java
@@ -166,6 +166,8 @@ public class Config {
 	public AlphaColorEntry deobfuscatedColor;
 	public AlphaColorEntry deobfuscatedColorOutline;
 
+	public String editorFont;
+
 	public Integer editorBackground;
 	public Integer highlightColor;
 	public Integer caretColor;
-- 
cgit v1.2.3