kogmbh/WebODF — pull request #811 by peitschie (2014-09-15 16:46:40+00:00)
Title: Assorted fixes for Internet Explorer 10 + 11

* Update detection code to correctly tag Internet Explorer 11 as IE
* Prevent focus wars (especially prevalent in Internet Explorer)