debugger
debugger copied to clipboard
Update the list of breakpoints when the user add/remove breakpoint from the console
Right now, when the user adds/removes a breakpoint, the highlight in the UI is updated, but the list of breakpoints in the breakpoint widget is not updated.