From e7ac8d6d4a890f4b9fe88dbd8f04427937f4bd19 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matthias=20Bartelme=C3=9F?= <mba@fourplusone.de>
Date: Tue, 27 Mar 2012 11:44:21 +0200
Subject: [PATCH] use underscore in skipList

---
 src/static/js/skiplist.js | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/src/static/js/skiplist.js b/src/static/js/skiplist.js
index 2132d8e30..58477acca 100644
--- a/src/static/js/skiplist.js
+++ b/src/static/js/skiplist.js
@@ -20,9 +20,10 @@
  * limitations under the License.
  */
 
-var Ace2Common = require('./ace2_common');
+var Ace2Common = require('./ace2_common'),
+  _ = require('./underscore');
+
 var noop = Ace2Common.noop;
-var extend = Ace2Common.extend;
 
 function SkipList()
 {
@@ -324,8 +325,9 @@ function SkipList()
 /*
 The skip-list contains "entries", JavaScript objects that each must have a unique "key" property
 that is a string.
-*/
-  extend(this, {
+  */
+  var self = this;
+  _.extend(this, {
     length: function()
     {
       return numNodes;