Web IDE

Resources

Extensible code editor. Used as the editor in firefox and chrome.