fix issue with stale line widgets

pull/223/head
nightwing 2015-10-01 02:52:03 +04:00
rodzic f38da77a08
commit 241e14da31
3 zmienionych plików z 7 dodań i 3 usunięć

Wyświetl plik

@ -294,6 +294,8 @@ function LineWidgets(session) {
if (!w || !w.el) continue;
if (w.session != this.session) continue;
if (!w._inDocument) {
if (this.session.lineWidgets[w.row] != w)
continue;
w._inDocument = true;
renderer.container.appendChild(w.el);
}

6
node_modules/ace/lib/ace/selection.js wygenerowano vendored
Wyświetl plik

@ -799,8 +799,10 @@ var Selection = function(session) {
var docPos = this.session.screenToDocumentPosition(screenPos.row + rows, screenPos.column);
if (rows !== 0 && chars === 0 && docPos.row === this.lead.row && docPos.column === this.lead.column) {
if (this.session.lineWidgets && this.session.lineWidgets[docPos.row])
docPos.row++;
if (this.session.lineWidgets && this.session.lineWidgets[docPos.row]) {
if (docPos.row > 0 || rows > 0)
docPos.row++;
}
}
// move the cursor and update the desired column

Wyświetl plik

@ -108,7 +108,7 @@
"c9.ide.save": "#e00549cb0f",
"c9.ide.scm": "#2398826541",
"c9.ide.terminal.monitor": "#b76f1c9f24",
"c9.ide.test": "#43451098ec",
"c9.ide.test": "#b772e67dee",
"c9.ide.test.mocha": "#ff5603786d",
"c9.ide.theme.flat": "#2de8414db7",
"c9.ide.threewaymerge": "#229382aa0b",