From b5898374b2faf1612f41e5e326150e23391a003d Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Tue, 1 May 2012 17:15:17 +0200
Subject: [PATCH] bring back animated scroll property

---
 lib/ace/editor.js | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/lib/ace/editor.js b/lib/ace/editor.js
index 53295878..851c314a 100644
--- a/lib/ace/editor.js
+++ b/lib/ace/editor.js
@@ -930,6 +930,14 @@ var Editor = function(renderer, session) {
         return this.$highlightSelectedWord;
     };
 
+    this.setAnimatedScroll = function(shouldAnimate){
+        this.renderer.setAnimatedScroll(shouldAnimate);
+    };
+
+    this.getAnimatedScroll = function(){
+        return this.renderer.getAnimatedScroll();
+    };
+
     /**
      * Editor.setShowInvisibles(showInvisibles) 
      * - showInvisibles (Boolean): Specifies whether or not to show invisible characters