This is a very nice plugin.
I usually post from Windows Live Writer, which is one of the best remote blog editor. And it automatically encode HTML formats in an editing post to escaped characters.
If I write something like
<?php $code= <<<STR <pre>hello</pre> STR; ?>
Windows Live Writer converts it to
<p>& lt;?php<br>$code= & lt;& lt;& lt;STR<br>& lt;pre& gt;hello</pre& gt;<br>STR; ?& gt;</p>
in the source. (I inserted a space in the escape characters to display them in this post)
Then, the plugin does not recognize it as a formatted language to highlight the syntax.
I'm hoping that the plugin supports an option to allow such encoded code. The syntax for the option could be
<pre lang="php" escape="true"> or something.
By observing the Windows Live Writer's behaviour, it inserts
<br> tags and escapes characters. So maybe if the option is set by the user, the plugin first strips tags and decodes the html format.
Would it be possible?