Update the textarea mirror if the size of the original has been changed (e.g. via modern browser or jQuery resizeable).