()
| 185 | } |
| 186 | |
| 187 | $attachEventHandlers() { |
| 188 | this.editorA.renderer.on("themeChange", this.onChangeTheme); |
| 189 | this.editorB.renderer.on("themeChange", this.onChangeTheme); |
| 190 | |
| 191 | this.editorA.on("mousewheel", this.onMouseWheel); |
| 192 | this.editorB.on("mousewheel", this.onMouseWheel); |
| 193 | |
| 194 | this.editorA.on("input", this.onInput); |
| 195 | this.editorB.on("input", this.onInput); |
| 196 | |
| 197 | } |
| 198 | |
| 199 | $detachEventHandlers() { |
| 200 | this.$detachSessionsEventHandlers(); |