It’s very easy to override the user-selected rich edit setting. Whether they’ve selected to show it or hide it, it can be reversed in a single line of code:
Always show:
add_filter( 'user_can_richedit', '__return_true' );
Always hide:
add_filter( 'user_can_richedit', '__return_false' );
Of course, if you’re going to overwrite this setting, it would make sense to also hide the user’s checkbox for this option.
add_action( 'admin_print_styles-profile.php', 'hide_rich_edit_option' );
add_action( 'admin_print_styles-user-edit.php', 'hide_rich_edit_option' );
function hide_rich_edit_option() {
?><style type="text/css">
label[for=rich_editing] input { display: none; }
label[for=rich_editing]:before { content: 'This option has been disabled (Formerly: ' }
label[for=rich_editing]:after { content: ')'; }
</style><?php
}
You can probably remove it more fully with Javascript, but I’ll leave that up to you.