From a714f63597fe433319e36eed3c9cc8b5012584fb Mon Sep 17 00:00:00 2001
From: webzwo0i <webzwo0i@c3d2.de>
Date: Sun, 8 Dec 2013 17:22:20 +0100
Subject: [PATCH] [ace2inner] remove unused recolorLineByKey that was part of
 old recolor module

---
 src/static/js/ace2_inner.js | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/src/static/js/ace2_inner.js b/src/static/js/ace2_inner.js
index 9d0689a6..3f9a9e2e 100644
--- a/src/static/js/ace2_inner.js
+++ b/src/static/js/ace2_inner.js
@@ -551,16 +551,6 @@ function Ace2Inner(){
   }
   editorInfo.ace_inCallStackIfNecessary = inCallStackIfNecessary;
 
-  function recolorLineByKey(key)
-  {
-    if (rep.lines.containsKey(key))
-    {
-      var offset = rep.lines.offsetOfKey(key);
-      var width = rep.lines.atKey(key).width;
-      recolorLinesInRange(offset, offset + width);
-    }
-  }
-
   function dispose()
   {
     disposed = true;