Web IDE

Resources

Extensible code editor.

Used as the editor in firefox and chrome.