Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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.
- Loading branch information