# HG changeset patch
# User wenzelm
# Date 1399891097 -7200
# Node ID c2ddbf327bbd987c15a7680c1edcd35f1a7e669b
# Parent  ef44b488bad8ab9f85e011282b11b2a48b6555ad
NEWS;

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 ***