From 8593b1905c51e2be8aec630ea13586301c6f0b1e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matthias=20Bartelme=C3=9F?= <mba@fourplusone.de>
Date: Fri, 20 Apr 2012 14:24:44 +0200
Subject: [PATCH] getRepHTML seems to be unused. Removing

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

diff --git a/src/static/js/ace2_inner.js b/src/static/js/ace2_inner.js
index 6e5f07bc..0e15195c 100644
--- a/src/static/js/ace2_inner.js
+++ b/src/static/js/ace2_inner.js
@@ -3749,24 +3749,6 @@ function Ace2Inner(){
     setSelection(selection);
   }
 
-  function getRepHTML()
-  {
-    return _.map(rep.lines.slice(), function(entry)
-    {
-      var text = entry.text;
-      var content;
-      if (text.length === 0)
-      {
-        content = '<span style="color: #aaa">--</span>';
-      }
-      else
-      {
-        content = htmlPrettyEscape(text);
-      }
-      return '<div><code>' + content + '</div></code>';
-    }).join('');
-  }
-
   function nodeMaxIndex(nd)
   {
     if (isNodeText(nd)) return nd.nodeValue.length;