A YUI Javascript editor widget and a web worker to run the code in