NEWS
changeset 56839 94477e9ff063
parent 56826 ba18bd41e510
parent 56838 477cd67f963f
child 56843 b2bfcd8cda80
     1.1 --- a/NEWS	Fri May 02 21:18:50 2014 +0200
     1.2 +++ b/NEWS	Fri May 02 23:31:25 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