diff options
| author | 2021-03-15 17:55:54 +0200 | |
|---|---|---|
| committer | 2021-03-15 17:55:54 +0200 | |
| commit | 66eec3a00ef97b5a7c43d3b838b73237847a0071 (patch) | |
| tree | 347aacbbd0e7750cbf62d2672ed4045b00ae12a1 /enigma-swing/src/main/java | |
| parent | Migrate to FlatLaf (diff) | |
| download | enigma-66eec3a00ef97b5a7c43d3b838b73237847a0071.tar.gz enigma-66eec3a00ef97b5a7c43d3b838b73237847a0071.tar.xz enigma-66eec3a00ef97b5a7c43d3b838b73237847a0071.zip | |
Make the javadoc dialog use the editor font as it is an editor
Diffstat (limited to 'enigma-swing/src/main/java')
| -rw-r--r-- | enigma-swing/src/main/java/cuchaz/enigma/gui/dialog/JavadocDialog.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/enigma-swing/src/main/java/cuchaz/enigma/gui/dialog/JavadocDialog.java b/enigma-swing/src/main/java/cuchaz/enigma/gui/dialog/JavadocDialog.java index a934d34c..3435012f 100644 --- a/enigma-swing/src/main/java/cuchaz/enigma/gui/dialog/JavadocDialog.java +++ b/enigma-swing/src/main/java/cuchaz/enigma/gui/dialog/JavadocDialog.java | |||
| @@ -25,6 +25,7 @@ import com.google.common.base.Strings; | |||
| 25 | 25 | ||
| 26 | import cuchaz.enigma.analysis.EntryReference; | 26 | import cuchaz.enigma.analysis.EntryReference; |
| 27 | import cuchaz.enigma.gui.GuiController; | 27 | import cuchaz.enigma.gui.GuiController; |
| 28 | import cuchaz.enigma.gui.config.UiConfig; | ||
| 28 | import cuchaz.enigma.gui.elements.ValidatableTextArea; | 29 | import cuchaz.enigma.gui.elements.ValidatableTextArea; |
| 29 | import cuchaz.enigma.gui.util.GuiUtil; | 30 | import cuchaz.enigma.gui.util.GuiUtil; |
| 30 | import cuchaz.enigma.gui.util.ScaleUtil; | 31 | import cuchaz.enigma.gui.util.ScaleUtil; |
| @@ -78,6 +79,7 @@ public class JavadocDialog { | |||
| 78 | } | 79 | } |
| 79 | } | 80 | } |
| 80 | }); | 81 | }); |
| 82 | this.text.setFont(UiConfig.getEditorFont()); | ||
| 81 | 83 | ||
| 82 | // buttons panel | 84 | // buttons panel |
| 83 | JPanel buttonsPanel = new JPanel(); | 85 | JPanel buttonsPanel = new JPanel(); |