github.com/elliott5/community@v0.14.1-0.20160709191136-823126fb026a/app/public/codemirror/addon/selection (about) active-line.js mark-selection.js selection-pointer.js