=== HTML Page Editor === Contributors: lloan Tags: HTML Editor, Dev Tool, Custom Editor, Page Editor Requires at least: 4.0 Tested up to: 4.8.1 Stable tag: 1.0 License: GPLv2 or later == Description == 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: * Code completion 'Ctrl+Space' * A collection of themes to choose from for the post editor. * Save posts by pressing 'Ctrl+S' * Cleaner page for creating and editing posts. * Full-screen visual editor for editing and previewing changes in posts. (F11) == Installation == Upload the HTML Page Editor plugin to your blog, Activate it, then you're ready to start editing pages.