src/Pure/PIDE/protocol.ML

         val state1 = Document.remove_versions versions state;
         val _ = Output.protocol_message Markup.removed_versions versions_yxml;
       in state1 end));
 
 val _ =
+  Isabelle_Process.protocol_command "Document.dialog_result"
+    (fn [name, result] =>
+      Active.dialog_result name result
+        handle exn => if Exn.is_interrupt exn then () else reraise exn);
+
+val _ =
   Isabelle_Process.protocol_command "Document.invoke_scala"
     (fn [id, tag, res] =>
       Invoke_Scala.fulfill_method id tag res
         handle exn => if Exn.is_interrupt exn then () else reraise exn);