Hi, I just wanted you to be aware that this plugin appears to have some compatibility issues with WooThemes.
The code editing works great but I seem to have issues when working on pages and posts with this plugin enabled. Specifically I can't "Add Media" or edit the permalink. This is while in visual editor mode and when I click on text mode there is no content area at all. The content box is completely collapsed.
These of course work when the plugin is deactivated and I have also replicated this on a freshly installed site with just this plugin active and a WooThemes theme. If I change to a default WordPress theme I can see how the plugin works on pages/posts.
I suspect it has to do with their framework. I can work around this by deactivating the plugin while making content changes but it would be awesome if there was some way to fix that.