changeset 75446 | 691ed9f41729 |
parent 75440 | 39011d0d2128 |
child 76022 | 6ce62e4e7dc0 |
--- a/src/Pure/Tools/debugger.scala Fri Apr 22 10:31:38 2022 +0200 +++ b/src/Pure/Tools/debugger.scala Fri Apr 22 16:47:13 2022 +0200 @@ -65,7 +65,7 @@ def toggle_breakpoint(breakpoint: Long): (Boolean, State) = { val active_breakpoints1 = if (active_breakpoints(breakpoint)) active_breakpoints - breakpoint - else active_breakpoints + breakpoint + else active_breakpoints + breakpoint (active_breakpoints1(breakpoint), copy(active_breakpoints = active_breakpoints1)) }