Yes there is, look.

mIRC Editor, not the main mIRC window, or wherever you are looking.