src/Pure/PIDE/command.ML

--- a/src/Pure/PIDE/command.ML	Sun Sep 02 14:14:43 2018 +0200
+++ b/src/Pure/PIDE/command.ML	Sun Sep 02 14:56:26 2018 +0200
@@ -193,6 +193,10 @@
     val res =
       if Keyword.is_theory_body keywords name then Toplevel.reset_theory st0
       else if Keyword.is_proof keywords name then Toplevel.reset_proof st0
+      else if Keyword.is_theory_end keywords name then
+        (case Toplevel.reset_notepad st0 of
+          NONE => Toplevel.reset_theory st0
+        | some => some)
       else NONE;
   in
     (case res of