From 7b0c6102dd77ef6453d945de72f22994976e9623 Mon Sep 17 00:00:00 2001 From: Fabian Huch Date: Mon, 27 May 2024 15:03:30 +0200 Subject: [PATCH] tuned output: less empty lines; --- linter_base/src/linter.scala | 6 ++++-- linter_base/src/presenter.scala | 5 +++-- 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/linter_base/src/linter.scala b/linter_base/src/linter.scala index ee34742..f5615ef 100644 --- a/linter_base/src/linter.scala +++ b/linter_base/src/linter.scala @@ -165,8 +165,10 @@ object Linter { case Some(snapshot) => val report = Linter.lint_snapshot(snapshot, selection) - if (console) - progress.echo(presenter.to_string(presenter.present(report, header = true))) + if (console) { + val msg = presenter.to_string(presenter.present(report, header = true)) + progress.echo_if(msg.nonEmpty, msg) + } Some(report) } diff --git a/linter_base/src/presenter.scala b/linter_base/src/presenter.scala index 6d8cacb..d7f0a32 100644 --- a/linter_base/src/presenter.scala +++ b/linter_base/src/presenter.scala @@ -99,9 +99,10 @@ case class Text_Presenter(do_underline: Boolean) extends Presenter[String] { Utils.map_accum_l(source.trim.split("\n").toList, range, underline).mkString("\n").trim } - override def to_string(report: String): String = if (report.isEmpty) "" else report + override def to_string(report: String): String = if (report.isBlank) "" else report - override def mk_string(reports: List[String]): String = reports.filterNot(_.isBlank).mkString("\n") + override def mk_string(reports: List[String]): String = + reports.filterNot(_.isBlank).mkString("\n") override def present( lint_report: Linter.Report,