ajaxorg/cloud9 — pull request #422 by mattpardee (2011-11-08 21:21:29+00:00)
Title: Extensions manager

This is an update to the extensions manager I worked on earlier in the year but was stuck in devel. This allows you to add extensions to the list that are then reloaded at runtime, instead of having to modify the hard-coded ide.js and restart the server.