Use decorations for folds.

They are more efficient when re-rendering.
This commit is contained in:
Ben Ogle
2014-06-06 15:45:55 -07:00
parent 346b6007ca
commit 312901ff68
2 changed files with 2 additions and 1 deletions

View File

@@ -1053,6 +1053,8 @@ class DisplayBuffer extends Model
@emit 'marker-created', @getMarker(marker.id)
createFoldForMarker: (marker) ->
bufferMarker = new DisplayBufferMarker({bufferMarker: marker, displayBuffer: this})
@addDecorationForMarker(bufferMarker, type: 'gutter', class: 'folded')
new Fold(this, marker)
foldForMarker: (marker) ->

View File

@@ -237,7 +237,6 @@ EditorComponent = React.createClass
for bufferRow in bufferRows
decorations[bufferRow] = editor.decorationsForBufferRow(bufferRow, 'gutter')
decorations[bufferRow].push {class: 'foldable'} if editor.isFoldableAtBufferRow(bufferRow)
decorations[bufferRow].push {class: 'folded'} if editor.isFoldedAtBufferRow(bufferRow)
decorations
observeEditor: ->