src/Pure/PIDE/query_operation.scala

   }
 
   def deactivate() {
     editor.session.commands_changed -= main_actor
     remove_overlay()
+    reset_state()
+    consume_output(Document.Snapshot.init, Command.Results.empty, Nil)
+    consume_status(current_status)
   }
 }