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