(192 . 12)(192 . 6)
9694 <h3><?php _e('Personal Options'); ?></h3>
9695
9696 <table class="form-table">
9697 <?php if ( rich_edit_exists() ) : // don't bother showing the option if the editor has been removed ?>
9698 <tr>
9699 <th scope="row"><?php _e('Visual Editor')?></th>
9700 <td><label for="rich_editing"><input name="rich_editing" type="checkbox" id="rich_editing" value="false" <?php checked('false', $profileuser->rich_editing); ?> /> <?php _e('Disable the visual editor when writing'); ?></label></td>
9701 </tr>
9702 <?php endif; ?>
9703 <?php if (count($_wp_admin_css_colors) > 1 ) : ?>
9704 <tr>
9705 <th scope="row"><?php _e('Admin Color Scheme')?></th>