ajaxorg/ace — pull request #1939 by hartman (2014-04-29 12:23:38+00:00)
Title: IE7 does not support inherit for 'font' style property

If we don't catch and continue here, but way higher in the code (as
MediaWiki does), the editor is left in a partially intialized state, that
seems to cause a (measuring?) death spiral.

Discovered while investigating IE7 issues on Wikipedia. #1929