Ajax.org Code Editor is a full featured source code highlighting editor that powers the Cloud9 IDE