marijnh/CodeMirror — pull request #2565 by bracke (2014-05-17 09:39:28+00:00)
Title: Use HTML5 fullscreen api if available

Added support for the HTML5 fullscreen API.
Handles the various prefixes and only tries if the fullscreen API is
available.