Kristopher Lagraff

This plugin removes the HTML editor from admin dashboard for restricted access to the theme files.

Remove HTML editor from admin dashboard

This plugin will remove the HTML editor from the admin dashboard

lloan

HTML Page Editor is a custom editor made for developers. It aims to help you write HTML within the Page editor. Simple plugin for a simple task.
Major features in HTML Page Editor include:
<ul>
<li>Code completion ‘Ctrl+Space’</li>
<li>A collection of themes to choose from for the post editor.</li>
<li>Save posts by pressing ‘Ctrl+S’</li>
<li>Cleaner page for creating and editing posts.</li>
<li>Full-screen visual editor for editing and previewing changes in posts. (F11)</li>
</ul>

HTML Page Editor

HTML Page Editor is a custom editor made for developers. It aims to help you write HTML within the Page editor. Simple plugin for a simple task.

Remove HTML editor from admin dashboard vs HTML Page Editor