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