devinsays/options-framework-plugin — Issue #94: wp_editor()
Author: zeeh
Created: 2012-03-02 10:27:22+00:00
State: open

I just tried the default options.php and it doesnt work. It looks like: http://s.zeeh.no/oxRD