From 312901ff68d758da23d91a718481966ac3edef76 Mon Sep 17 00:00:00 2001
From: Ben Ogle <ogle.ben@gmail.com>
Date: Fri, 6 Jun 2014 15:45:55 -0700
Subject: [PATCH] Use decorations for folds.

They are more efficient when re-rendering.
---
 src/display-buffer.coffee   | 2 ++
 src/editor-component.coffee | 1 -
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/display-buffer.coffee b/src/display-buffer.coffee
index 8024edcc5..b5b6f1725 100644
--- a/src/display-buffer.coffee
+++ b/src/display-buffer.coffee
@@ -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) ->
diff --git a/src/editor-component.coffee b/src/editor-component.coffee
index 189e3954a..aa2a96629 100644
--- a/src/editor-component.coffee
+++ b/src/editor-component.coffee
@@ -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: ->