()
| 1390 | options.theme.replace(/(^|\s)\s*/g, " cm-s-"); |
| 1391 | } |
| 1392 | function keyMapChanged() { |
| 1393 | var style = keyMap[options.keyMap].style; |
| 1394 | wrapper.className = wrapper.className.replace(/\s*cm-keymap-\S+/g, "") + |
| 1395 | (style ? " cm-keymap-" + style : ""); |
| 1396 | } |
| 1397 | |
| 1398 | function TextMarker() { this.set = []; } |
| 1399 | TextMarker.prototype.clear = operation(function() { |