We have enabled “No HTML TinyMCE” plugin. The plugin allows administrator to disable HTML tab view for individual user.