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