(code)
| 137 | return code.container; |
| 138 | } |
| 139 | onChanging(code) { |
| 140 | if (this.insertionOffset != code.selectionOffset) { |
| 141 | this.history.length = this.historyIndex; |
| 142 | this.history.push(new CodeState(code)); |
| 143 | this.historyIndex++; |
| 144 | } |
| 145 | } |
| 146 | onChanged(code) { |
| 147 | this.insertionOffset = code.selectionOffset; |
| 148 | this.onEdited(code); |