1.1 --- a/src/Tools/jEdit/src/jedit/scala_console.scala	Sun Jan 10 20:38:23 2010 +0100
     1.2 +++ b/src/Tools/jEdit/src/jedit/scala_console.scala	Sun Jan 10 21:08:23 2010 +0100
     1.3 @@ -97,8 +97,6 @@
     1.4  
     1.5    override def openConsole(console: Console)
     1.6    {
     1.7 -    console.getOutputPane.getCaret.setBlinkRate(0)  // FIXME property!?
     1.8 -
     1.9      val settings = new GenericRunnerSettings(report_error)
    1.10      settings.classpath.value = reconstruct_classpath()
    1.11