avoid attempt to add same line widget twice

rstudio · Feb 18, 2020 · dcc58c2 · dcc58c2
1 parent 45d96c7
commit dcc58c2
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.../org/rstudio/studio/client/workbench/views/source/editors/text/ace/LineWidgetManager.java b/.../org/rstudio/studio/client/workbench/views/source/editors/text/ace/LineWidgetManager.java
@@ -22,7 +22,14 @@ public class LineWidgetManager extends JavaScriptObject
    protected LineWidgetManager() {}
 
    public native final void addLineWidget(LineWidget widget) /*-{
+      
+      // avoid duplicating a pre-existing line widget
+      var widgets = this.session.lineWidgets || {};
+      if (widgets[widget.row] === widget)
+         return;
+         
       this.addLineWidget(widget);
+      
    }-*/;
 
    public native final void removeLineWidget(LineWidget widget) /*-{