This plugin has been closed as of 2022年11月10日 and is not available for download. This closure is temporary, pending a full review.
I found this plugin useful and it does exactly what it says in the tin. Well Done.
I searched and tried lots of code highlighters and finally I found this one which does what I need perfectly. I would definitely recommend it. Convert special characters option is the best!!!
Looked good, but the css changes would not take, despite clearing of cache. After the uninstall, the line numbering is now gone in WordPress theme editor. What the heck? Also, the editor went from a fixed height with scroll bar, to suddenly having to click and drag it's height. Mind you, this is after the uninstall. UPDATE: I found what the problem was, syntax highlighting was disabled in Wordpress after installing this plugin. Did not know there was an option to able/ disable. Since there is no option to delete this review, 3 stars for neutral, neither good nor bad. Dismiss follow-up comment please.
Easy! And extendable, knowing WP and CodeMirror.
Thank you for your quick support! We were seeing a formatting bug and Arthur was very willing to troubleshoot and quickly issue an update without asking for any donation in return (although, after work was completed a donation was made). This plugin has many different themes to apply to the code, is easy to use and well maintained!