Merge branch 'jump_to_first_difference' of github.com:plafue/CodeMirror into jump_to_first_difference
Merge branch 'jump_to_first_difference' of github.com:plafue/CodeMirror into jump_to_first_difference