Fix: remove unused function

eight04 · Sep 28, 2018 · e4135ce · e4135ce
1 parent 39a6d19
commit e4135ce
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/js/prefs.js b/js/prefs.js
@@ -354,14 +354,6 @@ var prefs = new function Prefs() {
     if (Number(storage['editor.lintReportDelay']) === 4500) delete storage['editor.lintReportDelay'];
   }
 
-  function defineReadonlyProperty(obj, key, value) {
-    const copy = deepCopy(value);
-    if (typeof copy === 'object') {
-      Object.freeze(copy);
-    }
-    Object.defineProperty(obj, key, {value: copy, configurable: true});
-  }
-
   function equal(a, b) {
     if (!a || !b || typeof a !== 'object' || typeof b !== 'object') {
       return a === b;