tinymce/tinymce — pull request #171 by lepoltj (2013-01-18 21:49:55+00:00)
Title: Fix autoresize issue with IE10 and editors not shrinking.

Fixes the following bug:
http://www.tinymce.com/develop/bugtracker_view.php?id=5519

IE10's scrollHeight was incorrect, but offsetHeight works as expected.