[BLUEJ-1282] Add option to the editor margin menu to allow breakpoint toggling
Breakpoints in BlueJ can be toggled on and off by left-clicking the margin. If you right-click the margin, a context menu is shown which has the option to toggle line numbers. It would make sense if this menu also allows toggling a breakpoint on that line.
Issue metadata
- Issue type: Bug
- Priority: Medium