Okay, so we've got Interface options for specifying language prettify implemented now, which is fantastic!
There's a little bitty problem, though: As it stands, this doesn't work right in previews.
For example, the preview for the text:
<!-- language: lang-css -->
div#ads {
display: none
}
renders as if it were
<!-- language: lang-sh -->
div#ads {
display: none
}
That is, instead of
div#ads {
display: none
}
it renders as
div#ads {
display: none
}
It would be really nice if this would be fixed, so we could make sure we were doing things right before hitting "post". (I'm also not sure if the tag-based defaults are honored in the preview, which would also be quite helpful for reasons which should be obvious.)