Fix: remove unused function

This commit is contained in:
eight 2018-09-28 11:57:34 +08:00
parent 39a6d1909f
commit e4135ce35d

View File

@ -354,14 +354,6 @@ var prefs = new function Prefs() {
if (Number(storage['editor.lintReportDelay']) === 4500) delete storage['editor.lintReportDelay']; 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) { function equal(a, b) {
if (!a || !b || typeof a !== 'object' || typeof b !== 'object') { if (!a || !b || typeof a !== 'object' || typeof b !== 'object') {
return a === b; return a === b;