ajaxorg/ace — pull request #824 by miketaylr (2012-06-27 18:17:20+00:00)
Title: Add "KeyboardEvent" in window check for old Opera.

We've added support for DOM3 Keyboard Events (and cleaned up things)
generally--so the Opera specific workarounds won't be needed when those changes
land in a stable version of Opera. This change allows older versions
of Opera to continue working.