feat(gui): add script log open button

2023-02-28 16:02:33 +00:00
parent 780b1a0d53
commit 7d69e5aaab
13 changed files with 25 additions and 4 deletions
@@ -69,7 +69,7 @@ class ScriptEval {
 				Severity.FATAL, Severity.ERROR -> log.error(r.exception) { "Script execution error: $msg" }
 				Severity.WARNING -> log.warn { "Script execution issue: $msg" }
 				Severity.INFO -> log.info { "Script report: $msg" }
-				Severity.DEBUG -> log.debug { "Script report: $msg" }
+				Severity.DEBUG -> {} /* ignore, too verbose */
 			}
 		}
 		when (res) {