# HG changeset patch
# User wenzelm
# Date 1406538208 -7200
# Node ID 9ea92df3631a345248e7fff40db1516d22ea9aad
# Parent  f11f3d7589b17d9571f60f9d3f06bc7586329bfd
some actual workaround to remove document nodes;

diff -r f11f3d7589b1 -r 9ea92df3631a NEWS
--- 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.
 
diff -r f11f3d7589b1 -r 9ea92df3631a src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Sun Jul 27 15:40:19 2014 +0200
+++ b/src/Doc/JEdit/JEdit.thy	Mon Jul 28 11:03:28 2014 +0200
@@ -1662,11 +1662,11 @@
   \textbf{Workaround:} Copy/paste complete command text from
   elsewhere, or disable continuous checking temporarily.
 
-  \item \textbf{Problem:} No way to delete document nodes from the overall
+  \item \textbf{Problem:} No direct support to remove document nodes from the
   collection of theories.
 
-  \textbf{Workaround:} Ignore unused files.  Restart whole
-  Isabelle/jEdit session in worst-case situation.
+  \textbf{Workaround:} Clear the buffer content of unused files and close
+  \emph{without} saving changes.
 
   \item \textbf{Problem:} Keyboard shortcuts @{verbatim "C+PLUS"} and
   @{verbatim "C+MINUS"} for adjusting the editor font size depend on