Plugin, beproefd en in gebruik (check feb 2019)

WP Editor

http://wordpress.org/extend/plugins/wp-editor/

WP Editor is a plugin for WordPress that replaces the default plugin and theme editors as well as the page/post editor. Using integrations with CodeMirror and FancyBox to create a feature rich environment, WP Editor completely reworks the default WordPress file editing capabilities. Using Asynchronous Javascript and XML (AJAX) to retrieve files and folders, WP Editor sets a new standard for speed and reliability in a web-based editing atmosphere.

Features:

  • CodeMirror
  • Active Line Highlighting
  • Line Numbers
  • Line Wrapping
  • Eight Editor Themes with Syntax Highlighting
  • Fullscreen Editing (ESC, F11)
  • Text Search (CMD + F, CTRL + F)
  • Individual Settings for Each Editor
  • FancyBox for image viewing
  • AJAX File Browser
  • Allowed Extensions List
  • Easy to use Settings Section

Gebruikt in pcvaardig/googlesites. Ik maak daar veel gebruik van accordions; in de Tekst-modus zie je de code dan in kleur (kleur naar keuze, in te stellen bij Plugins- WP Editor – Instellingen).