I've filed Bug 845888 <https://bugzilla.mozilla.org/show_bug.cgi?id=845888> for this question. _______________________________________________ dev-tech-js-engine-internals mailing list [email protected] https://lists.mozilla.org/listinfo/dev-tech-js-engine-internals
- [JS-internals] Enabling JS GDB pretty-printers for the browser Jim Blandy
- Re: [JS-internals] Enabling JS GDB pretty-printers for the... Jim Blandy
