fix: output now follows the same font size as the editor

Resolves #223

Author: Roboroads

CHANGELOG.md

@@ -10,6 +10,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 
 - [[#220]](https://github.com/Roboroads/laravel-tinker/issues/220) Add context menu action in tinker consoles to run the console.
 - Replace JB run icon with a green tinker run icon.
+- [[#223]](https://github.com/Roboroads/laravel-tinker/issues/223) Editor font size is now used as font size for the tinker console.
 
 ## [2.5.0] - 2022-12-13
 

src/main/kotlin/nl/deschepers/laraveltinker/toolwindow/TinkerOutputToolwindow.kt

@@ -1,7 +1,13 @@
 package nl.deschepers.laraveltinker.toolwindow
 
+import com.intellij.application.options.EditorFontsConstants
+import com.intellij.ide.ui.UISettings
+import com.intellij.openapi.editor.EditorSettings
 import com.intellij.openapi.editor.HighlighterColors
+import com.intellij.openapi.editor.colors.EditorColorsManager
+import com.intellij.openapi.options.FontSize
 import com.intellij.openapi.wm.ToolWindow
+import com.intellij.util.FontUtil
 import nl.deschepers.laraveltinker.Strings
 import nl.deschepers.laraveltinker.settings.GlobalSettingsState
 import nl.deschepers.laraveltinker.util.HelperUtil
@@ -77,6 +83,7 @@ class TinkerOutputToolwindow(private val toolWindow: ToolWindow) {
 
     private fun updateView() {
         val color = HelperUtil.colorToHex(HighlighterColors.TEXT.defaultAttributes.foregroundColor ?: Color.BLACK)
+        val globalScheme = EditorColorsManager.getInstance().globalScheme
         val timeString =
             if (pluginSettings.showExecutionStarted)
                 Strings.get("lt.started_at", outputTime)
@@ -98,11 +105,16 @@ class TinkerOutputToolwindow(private val toolWindow: ToolWindow) {
                            word-wrap: break-word;
                            color: $color;
                            font-family: ${tinkerOutputToolWindowContent!!.font.family};
+                           font-size: ${globalScheme.editorFontSize}pt;
+                        } 
+                        pre, code {
+                           font-family: '${globalScheme.editorFontName}';
+                           font-size: ${globalScheme.editorFontSize}pt;
                         } 
                         .output {
                             padding: 5px; 
                             ${if (pluginSettings.useWordWrapping) "padding-left: 10px;" else ""}
-                            ${if (pluginSettings.useWordWrapping) "text-indent: -5px;" else ""}                            
+                            ${if (pluginSettings.useWordWrapping) "text-indent: -5px;" else ""}
                         }
                         .header {
                             font-weight: bold;