diff --git a/node_modules/ace/lib/ace/line_widgets.js b/node_modules/ace/lib/ace/line_widgets.js index c1eaeb85..c8154a13 100644 --- a/node_modules/ace/lib/ace/line_widgets.js +++ b/node_modules/ace/lib/ace/line_widgets.js @@ -196,6 +196,8 @@ function LineWidgets(session) { this.session.lineWidgets[w.row] = w; + w.session = this.session; + var renderer = this.editor.renderer; if (w.html && !w.el) { w.el = dom.createElement("div"); @@ -239,6 +241,7 @@ function LineWidgets(session) { this.removeLineWidget = function(w) { w._inDocument = false; + w.session = null; if (w.el && w.el.parentNode) w.el.parentNode.removeChild(w.el); if (w.editor && w.editor.destroy) try { @@ -269,7 +272,7 @@ function LineWidgets(session) { var w = lineWidgets && lineWidgets[row]; var list = []; while (w) { - list.push(w) + list.push(w); w = w.$oldWidget; } return list; @@ -289,6 +292,7 @@ function LineWidgets(session) { for (var i = 0; i < changedWidgets.length; i++) { var w = changedWidgets[i]; if (!w || !w.el) continue; + if (w.session != this.session) continue; if (!w._inDocument) { w._inDocument = true; renderer.container.appendChild(w.el); diff --git a/package.json b/package.json index fd8d8016..fc31e3e5 100644 --- a/package.json +++ b/package.json @@ -71,7 +71,7 @@ "c9.ide.find": "#35379124ca", "c9.ide.find.infiles": "#c132ad243c", "c9.ide.find.replace": "#44772dd796", - "c9.ide.run.debug": "#43755761eb", + "c9.ide.run.debug": "#e38e16e120", "c9.automate": "#47e2c429c9", "c9.ide.ace.emmet": "#6dc4585e02", "c9.ide.ace.gotoline": "#a8ff07c8f4",