()
| 1386 | return (tabCache[w] = {html: str + "</span>", width: w}); |
| 1387 | } |
| 1388 | function themeChanged() { |
| 1389 | scroller.className = scroller.className.replace(/\s*cm-s-\S+/g, "") + |
| 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, "") + |