Venkman JavaScript Debugger sources

mozilla/extensions/venkman/resources/content/
Venkman is the JavaScript debugger of the Mozilla browser family.
These are the source codes of this debugger, written also in JavaScript.
Great reading for anyone interested in JS