# HG changeset patch
# User wenzelm
# Date 1399066247 -7200
# Node ID 477cd67f963fffa0d623256560a7afb0a47ece03
# Parent  5a598f1eecfdd522446c8684276bef02d875e9f7
NEWS;

diff -r 5a598f1eecfd -r 477cd67f963f NEWS
--- 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 ***