ajaxorg/cloud9 — Issue #983: Extension manager has no button 'enable'
Author: jdruiterc9
Created: 2012-02-23 13:37:41+00:00
State: open

Try to enable and disable some extensions. You will find the 'enable' button is also called 'disable' :D