Title: [Plugin: WP Editor] It's About Time!
Last modified: August 20, 2016

---

# [Plugin: WP Editor] It's About Time!

 *  Resolved [David](https://wordpress.org/support/users/davidjrojas/)
 * (@davidjrojas)
 * [14 years, 4 months ago](https://wordpress.org/support/topic/plugin-wp-editor-its-about-time/)
 * Some may think my opinion biased, but seriously, I can’t tell you how amazing
   this plugin is! It is SO much easier to use and find files for editing plugins/
   themes than the stock WordPress editor!!!
 * No joke, I am using this plugin on ever WP site I manage now!
 * Thanks Ben for this great plugin! I look forward to other’s feedback on ways 
   you can make this even better!
 * [http://wordpress.org/extend/plugins/wp-editor/](http://wordpress.org/extend/plugins/wp-editor/)

Viewing 1 replies (of 1 total)

 *  [dandv](https://wordpress.org/support/users/dandv/)
 * (@dandv)
 * [13 years, 10 months ago](https://wordpress.org/support/topic/plugin-wp-editor-its-about-time/#post-2539360)
 * You mean, it’s about time CodeMirror were included in WP core?
 * I’ve been wasting the past hour search for a plugin that highlights code in the
   HTML video of the page/post editor, as well as in the plugin and theme editors.
   I’ve seen four such plugins right now, and none works.

Viewing 1 replies (of 1 total)

The topic ‘[Plugin: WP Editor] It's About Time!’ is closed to new replies.

 * ![](https://ps.w.org/wp-editor/assets/icon-256x256.png?rev=1184262)
 * [WP Editor](https://wordpress.org/plugins/wp-editor/)
 * [Frequently Asked Questions](https://wordpress.org/plugins/wp-editor/#faq)
 * [Support Threads](https://wordpress.org/support/plugin/wp-editor/)
 * [Active Topics](https://wordpress.org/support/plugin/wp-editor/active/)
 * [Unresolved Topics](https://wordpress.org/support/plugin/wp-editor/unresolved/)
 * [Reviews](https://wordpress.org/support/plugin/wp-editor/reviews/)

 * 1 reply
 * 2 participants
 * Last reply from: [dandv](https://wordpress.org/support/users/dandv/)
 * Last activity: [13 years, 10 months ago](https://wordpress.org/support/topic/plugin-wp-editor-its-about-time/#post-2539360)
 * Status: resolved