dyoo / WeScheme

29 stars 16 forks source link

Small delta that kept DRWidget from working #82

Closed schanzer closed 11 years ago

schanzer commented 11 years ago

Looks like I committed that last change before saving the final edit, which fortunately I still have on my machine: ValidatedTextInputElement should take a tabIndent argument, which is used to determine tab handling behavior on a per-input basis.

After reading the CodeMirror keymap documentation, it looks like the recommended behavior to fall back on a browser default is to return false, instead of throwing CodeMirror.pass. That change is also part of this pull request.