From 09a83c531e02af25f3237ad4a0871e46b8c9284a Mon Sep 17 00:00:00 2001 From: Nicolas Stucki Date: Tue, 28 Nov 2017 20:09:31 +0100 Subject: [PATCH] Change -Xprint-diff color to foreground --- compiler/src/dotty/tools/dotc/util/DiffUtil.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/src/dotty/tools/dotc/util/DiffUtil.scala b/compiler/src/dotty/tools/dotc/util/DiffUtil.scala index 64845cb45555..12a56a771b47 100644 --- a/compiler/src/dotty/tools/dotc/util/DiffUtil.scala +++ b/compiler/src/dotty/tools/dotc/util/DiffUtil.scala @@ -104,8 +104,8 @@ object DiffUtil { }.mkString } - private def added(str: String): String = bgColored(str, Console.GREEN_B) - private def deleted(str: String) = bgColored(str, Console.RED_B) + private def added(str: String): String = bgColored(str, Console.GREEN) + private def deleted(str: String) = bgColored(str, Console.RED) private def bgColored(str: String, color: String): String = { if (str.isEmpty) "" else {