(ddd.info)Editing all Breakpoints
5.1.11 Editing all Breakpoints
------------------------------
To view and edit all breakpoints at once, select `Source =>
Breakpoints'. This will popup the "Breakpoint Editor" which displays
the state of all breakpoints.
In the breakpoint editor, you can select individual breakpoints by
clicking on them. Pressing <Ctrl> while clicking toggles the
selection. To edit the properties of all selected breakpoints, click on
`Props'.
automatically generated by info2www version 1.2.2.9