NEWS
changeset 56838 477cd67f963f
parent 56815 848d507584db
child 56839 94477e9ff063
     1.1 --- a/NEWS	Fri May 02 23:25:56 2014 +0200
     1.2 +++ b/NEWS	Fri May 02 23:30:47 2014 +0200
     1.3 @@ -126,6 +126,9 @@
     1.4  * More support for remote files (e.g. http) using standard Java
     1.5  networking operations instead of jEdit virtual file-systems.
     1.6  
     1.7 +* Improved Console/Scala plugin: more uniform scala.Console output,
     1.8 +more robust treatment of threads and interrupts.
     1.9 +
    1.10  
    1.11  *** Pure ***
    1.12