NEWS;
authorwenzelm
Mon May 12 12:38:17 2014 +0200 (2014-05-12)
changeset 56939c2ddbf327bbd
parent 56938 ef44b488bad8
child 56940 35ce6dab3f5e
NEWS;
NEWS
     1.1 --- a/NEWS	Mon May 12 12:31:33 2014 +0200
     1.2 +++ b/NEWS	Mon May 12 12:38:17 2014 +0200
     1.3 @@ -137,6 +137,10 @@
     1.4  * Improved Console/Scala plugin: more uniform scala.Console output,
     1.5  more robust treatment of threads and interrupts.
     1.6  
     1.7 +* Improved management of dockable windows: clarified keyboard focus
     1.8 +and window placement wrt. main editor view; optional menu item to
     1.9 +"Detach" a copy where this makes sense.
    1.10 +
    1.11  
    1.12  *** Pure ***
    1.13