Permalink
Browse files

Fix setOption('tabindex', ...)

  • Loading branch information...
1 parent 6cffb09 commit 19f0d0683a1385e3d2d04fead44aaace205311e7 @marijnh marijnh committed Sep 28, 2012
Showing with 1 addition and 0 deletions.
  1. +1 −0 lib/codemirror.js
View
1 lib/codemirror.js
@@ -167,6 +167,7 @@ window.CodeMirror = (function() {
else if (option == "lineWrapping" && oldVal != value) operation(wrappingChanged)();
else if (option == "tabSize") updateDisplay(true);
else if (option == "keyMap") keyMapChanged();
+ else if (option == "tabindex") input.tabIndex = value;
if (option == "lineNumbers" || option == "gutter" || option == "firstLineNumber" ||
option == "theme" || option == "lineNumberFormatter") {
gutterChanged();

0 comments on commit 19f0d06

Please sign in to comment.