A previous post explained how to hide the WordPress editor for custom post types.
I just noticed that this no longer works in WordPress 3.3.1. It looks like the CSS Ids have changed for the editor. The whole editor is now enclosed by a div with the id ‘postdivrich’.
Thus the hide_editor() function now reads as below. Much simpler.
function hide_editor() {
?>
<style>
#postdivrich {display:none;}
</style>
<?php
}