change HTML tab to 'Text' for WP 3.5. Set minHeight on wp-editor-area so that it doesn't bonk on tab switch.
change HTML tab to 'Text' for WP 3.5. Set minHeight on wp-editor-area so that it doesn't bonk on tab switch.

daxitude/ace-4-wp,daxitude/ace-4-wp