umm, sorry for not being around to answer questions, I’ve been in a sort of semi-hibernation for sometime now(been quite busy with other stuff), not much online activity like working on this plugin. quite possible the situation may remain so for sometime more.
@emilast:
Is there a way of using HTML entities in code and have it translated before presentation?
…..
I cannot use the real < and > characters since WordPress will mistake them for XHTML tags and modify case, insert closing tags, etc…
well, that shouldn’t be a problem if you turn off the option that allows WP to fix invalid xHTML!! ?? that would ofcourse mean that you should either stop caring too much or write valid xHTML. but this is not the ideal way for many a users.
so far, I’ve avoided having the post/comment being altered before its saved in the database. so the plugin has been just parsing the stuff that comes from the database. I’ll look into it & see if there’s some ideal solution.
@Dauntless:
Is there a way to adjust the maximum height of the code box ?
if you meant the min-height & max-height then yes you can use them but remember that they are not supported by all browsers. however as you updated, you were only after a fixed height, so there, no problem.
The rest was handled pretty nicely by emilast & Rok, thanks guys!! ??