src/Pure/PIDE/protocol.scala
changeset 52111 1fd184eaa310
parent 51987 7d8e0e3c553b
child 52527 dbac84eab3bc
     1.1 --- a/src/Pure/PIDE/protocol.scala	Wed May 22 08:46:39 2013 +0200
     1.2 +++ b/src/Pure/PIDE/protocol.scala	Wed May 22 14:10:45 2013 +0200
     1.3 @@ -364,12 +364,4 @@
     1.4    {
     1.5      input("Document.dialog_result", Properties.Value.Long(serial), result)
     1.6    }
     1.7 -
     1.8 -
     1.9 -  /* method invocation service */
    1.10 -
    1.11 -  def invoke_scala(id: String, tag: Invoke_Scala.Tag.Value, res: String)
    1.12 -  {
    1.13 -    input("Document.invoke_scala", id, tag.toString, res)
    1.14 -  }
    1.15  }