diff --git a/src/app/editor.coffee b/src/app/editor.coffee index 335523c49..778f56c43 100644 --- a/src/app/editor.coffee +++ b/src/app/editor.coffee @@ -796,7 +796,7 @@ class Editor extends View @newSelections = [] for selectionView in @getSelectionViews() - if selectionView.destroyed + if selectionView.needsRemoval selectionView.remove() else selectionView.updateDisplay() diff --git a/src/app/selection-view.coffee b/src/app/selection-view.coffee index 1fb43c18a..4b66e3d97 100644 --- a/src/app/selection-view.coffee +++ b/src/app/selection-view.coffee @@ -8,13 +8,13 @@ class SelectionView extends View @div class: 'selection' regions: null - destroyed: false + needsRemoval: false initialize: ({@editor, @selection} = {}) -> @regions = [] @selection.on 'screen-range-changed', => @editor.requestDisplayUpdate() @selection.on 'destroyed', => - @destroyed = true + @needsRemoval = true @editor.requestDisplayUpdate() updateDisplay: ->