Don’t decorate soft-wrapped lines/line numbers unless spanned by marker

This commit is contained in:
Nathan Sobo
2015-01-27 07:41:48 -07:00
parent b1fe567ce8
commit 0802b9bdd1
2 changed files with 32 additions and 0 deletions

View File

@@ -251,6 +251,7 @@ class TextEditorPresenter
properties = decoration.getProperties()
range = decoration.getMarker().getScreenRange()
continue unless range.intersectsRow(row)
if range.isEmpty()
continue if properties.onlyNonEmpty
else
@@ -271,6 +272,7 @@ class TextEditorPresenter
properties = decoration.getProperties()
range = decoration.getMarker().getScreenRange()
continue unless range.intersectsRow(row)
if range.isEmpty()
continue if properties.onlyNonEmpty
else