From 010566d3c34d9adeb860f965b86e7937fefa09ad Mon Sep 17 00:00:00 2001
From: ansuz <ansuz@transitiontech.ca>
Date: Wed, 20 Apr 2016 14:20:34 +0200
Subject: [PATCH] pushDelta was mistakenly deprecated. restored.

---
 www/common/cursor.js | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/www/common/cursor.js b/www/common/cursor.js
index 38163bcec..1e7ae9a36 100644
--- a/www/common/cursor.js
+++ b/www/common/cursor.js
@@ -228,8 +228,7 @@ define([
             }
         };
 
-        // TODO deprecate
-        var pushDelta = /* cursor.pushDelta =*/ function (oldVal, newVal, offset) {
+        var pushDelta = cursor.pushDelta = function (oldVal, newVal, offset) {
             if (oldVal === newVal) { return; }
             var commonStart = 0;
             while (oldVal.charAt(commonStart) === newVal.charAt(commonStart)) {