mIRC does not control the behaviour of the editbox in the script editor, highlighting of text is completely dependent on the Windows richedit editbox. This appears to be purposeful richedit behaviour, since it behaves differently if a " is used, though I'm not sure of the reasoning behind it.
