src/Pure/PIDE/protocol.ML
changeset 50498 6647ba2775c1
parent 50201 c26369c9eda6
child 50500 c94bba7906d2
     1.1 --- a/src/Pure/PIDE/protocol.ML	Wed Dec 12 19:03:49 2012 +0100
     1.2 +++ b/src/Pure/PIDE/protocol.ML	Wed Dec 12 21:50:42 2012 +0100
     1.3 @@ -76,6 +76,12 @@
     1.4        in state1 end));
     1.5  
     1.6  val _ =
     1.7 +  Isabelle_Process.protocol_command "Document.dialog_result"
     1.8 +    (fn [name, result] =>
     1.9 +      Active.dialog_result name result
    1.10 +        handle exn => if Exn.is_interrupt exn then () else reraise exn);
    1.11 +
    1.12 +val _ =
    1.13    Isabelle_Process.protocol_command "Document.invoke_scala"
    1.14      (fn [id, tag, res] =>
    1.15        Invoke_Scala.fulfill_method id tag res