src/Tools/jEdit/src/jedit/scala_console.scala
changeset 37175 be764a7adb10
parent 36760 b82a698ef6c9
     1.1 --- a/src/Tools/jEdit/src/jedit/scala_console.scala	Fri May 28 20:41:23 2010 +0200
     1.2 +++ b/src/Tools/jEdit/src/jedit/scala_console.scala	Fri May 28 21:17:59 2010 +0200
     1.3 @@ -130,17 +130,17 @@
     1.4    }
     1.5  
     1.6    override def printPrompt(console: Console, out: Output)
     1.7 -	{
     1.8 +  {
     1.9      out.writeAttrs(ConsolePane.colorAttributes(console.getInfoColor), "scala>")
    1.10 -		out.writeAttrs(ConsolePane.colorAttributes(console.getPlainColor), " ")
    1.11 -	}
    1.12 +    out.writeAttrs(ConsolePane.colorAttributes(console.getPlainColor), " ")
    1.13 +  }
    1.14  
    1.15    override def execute(console: Console, input: String, out: Output, err: Output, command: String)
    1.16    {
    1.17      val interp = interpreters(console)
    1.18      with_console(console, out, err) { interp.interpret(command) }
    1.19      if (err != null) err.commandDone()
    1.20 -		out.commandDone()
    1.21 +    out.commandDone()
    1.22    }
    1.23  
    1.24    override def stop(console: Console)