diff --git a/src/css/editor.css.js b/src/css/editor.css.js index 967cf5d7d41..eaad5d28cb7 100644 --- a/src/css/editor.css.js +++ b/src/css/editor.css.js @@ -1,4 +1,4 @@ -module.exports = `/* +/* styles = [] for (var i = 1; i < 16; i++) { styles.push(".ace_br" + i + "{" + ( @@ -9,6 +9,7 @@ for (var i = 1; i < 16; i++) { } styles.join("\\n") */ +module.exports = ` .ace_br1 {border-top-left-radius : 3px;} .ace_br2 {border-top-right-radius : 3px;} .ace_br3 {border-top-left-radius : 3px; border-top-right-radius: 3px;} diff --git a/src/mouse/default_handlers.js b/src/mouse/default_handlers.js index f15e4792566..e0c511b55dc 100644 --- a/src/mouse/default_handlers.js +++ b/src/mouse/default_handlers.js @@ -79,9 +79,6 @@ function DefaultHandlers(mouseHandler) { editor.selection.moveToPosition(pos); if (!waitForClickSelection) this.select(); - if (editor.renderer.scroller.setCapture) { - editor.renderer.scroller.setCapture(); - } editor.setStyle("ace_selecting"); this.setState("select"); }; @@ -143,9 +140,6 @@ function DefaultHandlers(mouseHandler) { this.selectByLinesEnd = function() { this.$clickSelection = null; this.editor.unsetStyle("ace_selecting"); - if (this.editor.renderer.scroller.releaseCapture) { - this.editor.renderer.scroller.releaseCapture(); - } }; this.focusWait = function() {