eliminated hard tabs;
authorwenzelm
Fri May 28 21:17:59 2010 +0200 (2010-05-28)
changeset 37175be764a7adb10
parent 37174 6feaab4fc27d
child 37176 6f3c9ed34689
eliminated hard tabs;
src/Pure/System/cygwin.scala
src/Tools/jEdit/src/jedit/isabelle_encoding.scala
src/Tools/jEdit/src/jedit/isabelle_hyperlinks.scala
src/Tools/jEdit/src/jedit/scala_console.scala
     1.1 --- a/src/Pure/System/cygwin.scala	Fri May 28 20:41:23 2010 +0200
     1.2 +++ b/src/Pure/System/cygwin.scala	Fri May 28 21:17:59 2010 +0200
     1.3 @@ -116,7 +116,7 @@
     1.4  
     1.5      val (_, rc) = Standard_System.raw_exec(root, null, true,
     1.6          setup_exe.toString, "-R", root.toString, "-l", download.toString,
     1.7 -    	    "-P", "make,perl,python", "-q", "-n")
     1.8 +          "-P", "make,perl,python", "-q", "-n")
     1.9      if (rc != 0) error("Cygwin setup failed!")
    1.10  
    1.11      sanity_check(root)
     2.1 --- a/src/Tools/jEdit/src/jedit/isabelle_encoding.scala	Fri May 28 20:41:23 2010 +0200
     2.2 +++ b/src/Tools/jEdit/src/jedit/isabelle_encoding.scala	Fri May 28 21:17:59 2010 +0200
     2.3 @@ -38,16 +38,16 @@
     2.4      new CharArrayReader(Isabelle.system.symbols.decode(source.mkString).toArray)
     2.5    }
     2.6  
     2.7 -	override def getTextReader(in: InputStream): Reader =
     2.8 +  override def getTextReader(in: InputStream): Reader =
     2.9      text_reader(in, Standard_System.codec())
    2.10  
    2.11 -	override def getPermissiveTextReader(in: InputStream): Reader =
    2.12 -	{
    2.13 -		val codec = Standard_System.codec()
    2.14 -		codec.onMalformedInput(CodingErrorAction.REPLACE)
    2.15 -		codec.onUnmappableCharacter(CodingErrorAction.REPLACE)
    2.16 -		text_reader(in, codec)
    2.17 -	}
    2.18 +  override def getPermissiveTextReader(in: InputStream): Reader =
    2.19 +  {
    2.20 +    val codec = Standard_System.codec()
    2.21 +    codec.onMalformedInput(CodingErrorAction.REPLACE)
    2.22 +    codec.onUnmappableCharacter(CodingErrorAction.REPLACE)
    2.23 +    text_reader(in, codec)
    2.24 +  }
    2.25  
    2.26    override def getTextWriter(out: OutputStream): Writer =
    2.27    {
    2.28 @@ -60,6 +60,6 @@
    2.29        }
    2.30        override def close() { out.close() }
    2.31      }
    2.32 -		new OutputStreamWriter(buffer, charset.newEncoder())
    2.33 +    new OutputStreamWriter(buffer, charset.newEncoder())
    2.34    }
    2.35  }
     3.1 --- a/src/Tools/jEdit/src/jedit/isabelle_hyperlinks.scala	Fri May 28 20:41:23 2010 +0200
     3.2 +++ b/src/Tools/jEdit/src/jedit/isabelle_hyperlinks.scala	Fri May 28 21:17:59 2010 +0200
     3.3 @@ -38,8 +38,8 @@
     3.4  
     3.5  class Isabelle_Hyperlinks extends HyperlinkSource
     3.6  {
     3.7 -	def getHyperlink(buffer: Buffer, original_offset: Int): Hyperlink =
     3.8 -	{
     3.9 +  def getHyperlink(buffer: Buffer, original_offset: Int): Hyperlink =
    3.10 +  {
    3.11      Document_Model(buffer) match {
    3.12        case Some(model) =>
    3.13          val document = model.recent_document()
     4.1 --- a/src/Tools/jEdit/src/jedit/scala_console.scala	Fri May 28 20:41:23 2010 +0200
     4.2 +++ b/src/Tools/jEdit/src/jedit/scala_console.scala	Fri May 28 21:17:59 2010 +0200
     4.3 @@ -130,17 +130,17 @@
     4.4    }
     4.5  
     4.6    override def printPrompt(console: Console, out: Output)
     4.7 -	{
     4.8 +  {
     4.9      out.writeAttrs(ConsolePane.colorAttributes(console.getInfoColor), "scala>")
    4.10 -		out.writeAttrs(ConsolePane.colorAttributes(console.getPlainColor), " ")
    4.11 -	}
    4.12 +    out.writeAttrs(ConsolePane.colorAttributes(console.getPlainColor), " ")
    4.13 +  }
    4.14  
    4.15    override def execute(console: Console, input: String, out: Output, err: Output, command: String)
    4.16    {
    4.17      val interp = interpreters(console)
    4.18      with_console(console, out, err) { interp.interpret(command) }
    4.19      if (err != null) err.commandDone()
    4.20 -		out.commandDone()
    4.21 +    out.commandDone()
    4.22    }
    4.23  
    4.24    override def stop(console: Console)