> 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