Fix wp_editor options in Theme Options class