From 51dc5b162790e3f4cc549d00c856408e2e10bc4f Mon Sep 17 00:00:00 2001
From: Richard Hansen <rhansen@rhansen.org>
Date: Sun, 17 Jan 2021 19:04:01 -0500
Subject: [PATCH] ace2_inner: Delete dead code

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

diff --git a/src/static/js/ace2_inner.js b/src/static/js/ace2_inner.js
index 06f176b5..3ae0c66d 100644
--- a/src/static/js/ace2_inner.js
+++ b/src/static/js/ace2_inner.js
@@ -323,12 +323,6 @@ function Ace2Inner() {
       // top.console.error(err);
     }
 
-    let profiling = false;
-
-    const profileRest = () => {
-      profiling = true; // eslint-disable-line
-    };
-
     const newEditEvent = (eventType) => ({
       eventType,
       backset: null,
@@ -378,7 +372,6 @@ function Ace2Inner() {
       selectionAffected: false,
       userChangedSelection: false,
       domClean: false,
-      profileRest,
       isUserChange: false,
       // is this a "user change" type of call-stack
       repChanged: false,
@@ -1576,7 +1569,6 @@ function Ace2Inner() {
       },
       get: (i) => `${rep.lines.atIndex(i).text}\n`,
       length: () => rep.lines.length(),
-      slice_notused: (start, end) => _.map(rep.lines.slice(start, end), (e) => `${e.text}\n`),
     };
 
     Changeset.mutateTextLines(changes, linesMutatee);