Indent 2 after newline in REPL

Author: felixmulder

src/dotty/tools/dotc/repl/AmmoniteReader.scala

@@ -28,8 +28,8 @@ class AmmoniteReader(val interpreter: Interpreter)(implicit ctx: Context) extend
   val selectionFilter = GUILikeFilters.SelectionFilter(indent = 2)
   val multilineFilter: Filter = Filter("multilineFilter") {
     case TermState(lb ~: rest, b, c, _)
-      if (lb == 10 || lb == 13) && incompleteInput(b.mkString) =>
-      BasicFilters.injectNewLine(b, c, rest)
+    if (lb == 10 || lb == 13) && incompleteInput(b.mkString) =>
+      BasicFilters.injectNewLine(b, c, rest, indent = 2)
   }
 
   def readLine(prompt: String): String = {

src/dotty/tools/dotc/repl/ammonite/filters/BasicFilters.scala

@@ -25,12 +25,11 @@ object BasicFilters {
     typingFilter
   )
 
-  def injectNewLine(b: Vector[Char], c: Int, rest: LazyList[Int]) = {
+  def injectNewLine(b: Vector[Char], c: Int, rest: LazyList[Int], indent: Int = 0) = {
     val (first, last) = b.splitAt(c)
-    TermState(rest, (first :+ '\n') ++ last, c + 1)
+    TermState(rest, (first :+ '\n') ++ last ++ Vector.fill(indent)(' '), c + 1 + indent)
   }
 
-
   def navFilter = Filter.merge(
     Case(Up)((b, c, m) => moveUp(b, c, m.width)),
     Case(Down)((b, c, m) => moveDown(b, c, m.width)),