$switch_class = 'html' ===
$default_editor ? 'html-active' : 'tmce-active';
$wrap_class = 'wp-core-ui wp-editor-wrap ' .
$switch_class;
if ( $set['_content_editor_dfw'
] ) { $wrap_class .= ' has-dfw';
} echo '<div id="wp-' .
$editor_id_attr . '-wrap" class="' .
$wrap_class . '">';
if ( self::
$editor_buttons_css ) { wp_print_styles( 'editor-buttons'
);
self::
$editor_buttons_css = false;
} if ( !
empty( $set['editor_css'
] ) ) { echo $set['editor_css'
] . "\n";
} if ( !
empty( $buttons ) ||
$set['media_buttons'
] ) { echo '<div id="wp-' .
$editor_id_attr . '-editor-tools" class="wp-editor-tools hide-if-no-js">';
if ( $set['media_buttons'
] ) {