--- a/src/Pure/Tools/debugger.scala Thu Aug 06 14:23:59 2015 +0200
+++ b/src/Pure/Tools/debugger.scala Thu Aug 06 14:28:59 2015 +0200
@@ -119,9 +119,11 @@
current_state().session.protocol_command("Debugger.init")
}
- def cancel(name: String): Unit =
- current_state().session.protocol_command("Debugger.cancel", name)
+ def cancel(thread_name: String): Unit =
+ current_state().session.protocol_command("Debugger.cancel", thread_name)
- def input(name: String, msg: String*): Unit =
- current_state().session.protocol_command("Debugger.input", (name :: msg.toList):_*)
+ def input(thread_name: String, msg: String*): Unit =
+ current_state().session.protocol_command("Debugger.input", (thread_name :: msg.toList):_*)
+
+ def continue(thread_name: String): Unit = input(thread_name, "continue")
}