Hi Thomas, nice project. Maybe âdeactivate by metalink/rewritingâ is too technical? Cheers, Juraj
On Dec 6, 2017, at 07:03, Thomas Dupriez <thomas.dupriez@ens-paris-saclay.fr> wrote:
Hello,
I have developed a package to assist developers managing their halts and breakpoints: HaltManager.
HaltManager provides a window showing all the breakpoints and halt messages of the system, and allows one to toggle them on/off with a simple click. Halt messages can also be toggled via source code rewriting. The deactivation/reactivation feature is available in all code browsers, not only in the HaltManager window.
It is available here, with installation instructions and pictures: https://github.com/dupriezt/HaltManager
Feedback welcome.
Cheers, Thomas Dupriez