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