--- a/src/Pure/Tools/debugger.scala Mon Aug 10 20:25:04 2015 +0200
+++ b/src/Pure/Tools/debugger.scala Mon Aug 10 20:42:59 2015 +0200
@@ -141,12 +141,15 @@
def inc_active(): Unit = global_state.change(_.inc_active)
def dec_active(): Unit = global_state.change(_.dec_active)
- def breakpoint_active(breakpoint: Long): Option[Boolean] =
+ def active_breakpoint_state(breakpoint: Long): Option[Boolean] =
{
val state = current_state()
if (state.active > 0) Some(state.active_breakpoints(breakpoint)) else None
}
+ def breakpoint_state(breakpoint: Long): Boolean =
+ current_state().active_breakpoints(breakpoint)
+
def toggle_breakpoint(command: Command, breakpoint: Long)
{
global_state.change(state =>