diff -r ef44b488bad8 -r c2ddbf327bbd NEWS
--- a/NEWS	Mon May 12 12:31:33 2014 +0200
+++ b/NEWS	Mon May 12 12:38:17 2014 +0200
@@ -137,6 +137,10 @@
 * Improved Console/Scala plugin: more uniform scala.Console output,
 more robust treatment of threads and interrupts.
 
+* Improved management of dockable windows: clarified keyboard focus
+and window placement wrt. main editor view; optional menu item to
+"Detach" a copy where this makes sense.
+
 
 *** Pure ***