marijnh/CodeMirror — pull request #1308 by espadrine (2013-03-02 23:31:07+00:00)
Title: Give example of the extraKeys option.

Issues #988, #742, #612, etc. show that CodeMirror users tend to:

1. Not find how to make the Tab key insert spaces instead of a tab,
2. Miss how to use extraKeys to easily solve the issue.

Adding an example helps them find a solution immediately.