Merge pull request #3569 from dotty-staging/better-diff-colors

smarter · web-flow · commit 924234f6aa1a · 2017-11-27T21:44:51.000+01:00
-Xprint-diff-del: make diffs more readable by using bold
diff --git a/compiler/src/dotty/tools/dotc/util/DiffUtil.scala b/compiler/src/dotty/tools/dotc/util/DiffUtil.scala
@@ -112,7 +112,7 @@ object DiffUtil {
       val (spaces, rest) = str.span(_ == '\n')
       if (spaces.isEmpty) {
         val (text, rest2) = str.span(_ != '\n')
-        color + text + Console.RESET + bgColored(rest2, color)
+        Console.BOLD + color + text + Console.RESET + bgColored(rest2, color)
       } else spaces + bgColored(rest, color)
     }
   }

Original file line number	Diff line number	Diff line change
`@@ -112,7 +112,7 @@ object DiffUtil {`
`112`	`112`	`val (spaces, rest) = str.span(_ == '\n')`
`113`	`113`	`if (spaces.isEmpty) {`
`114`	`114`	`val (text, rest2) = str.span(_ != '\n')`
`115`		`- color + text + Console.RESET + bgColored(rest2, color)`
	`115`	`+ Console.BOLD + color + text + Console.RESET + bgColored(rest2, color)`
`116`	`116`	`} else spaces + bgColored(rest, color)`
`117`	`117`	`}`
`118`	`118`	`}`