> What is that extension called? Is it strictly Rhino only?

I think it is called conditional catch and it's in Firefox, maybe
since
JavaScript ~1.5, I think.

Kris
_______________________________________________
dev-tech-js-engine-rhino mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-tech-js-engine-rhino

Reply via email to