NEWS
changeset 57822 9ea92df3631a
parent 57693 8ccc4875fe4f
child 57825 58f46c678352
     1.1 --- a/NEWS	Sun Jul 27 15:40:19 2014 +0200
     1.2 +++ b/NEWS	Mon Jul 28 11:03:28 2014 +0200
     1.3 @@ -108,6 +108,9 @@
     1.4  * More support for remote files (e.g. http) using standard Java
     1.5  networking operations instead of jEdit virtual file-systems.
     1.6  
     1.7 +* Empty editors buffers that are no longer required (e.g.\ via theory
     1.8 +imports) are automatically removed from the document model.
     1.9 +
    1.10  * Improved Console/Scala plugin: more uniform scala.Console output,
    1.11  more robust treatment of threads and interrupts.
    1.12