From dd13a68f0c92486cb3703fde271c94d9d1d74a3d Mon Sep 17 00:00:00 2001 From: eight Date: Sun, 2 Sep 2018 14:40:52 +0800 Subject: [PATCH] Fix: table.update -> table.updateCaption --- edit/linter-report.js | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/edit/linter-report.js b/edit/linter-report.js index 27333358..ae64833f 100644 --- a/edit/linter-report.js +++ b/edit/linter-report.js @@ -23,7 +23,7 @@ var linterReport = (() => { container.insertBefore(table.element, nextSibling && cms.get(nextSibling).element); } } - table.update(); + table.updateCaption(); table.updateAnnotations(annotations); updateCount(); }); @@ -70,7 +70,7 @@ var linterReport = (() => { function refresh() { for (const table of cms.values()) { - table.update(); + table.updateCaption(); } } @@ -83,10 +83,10 @@ var linterReport = (() => { element: table, trs, updateAnnotations, - update + updateCaption }; - function update() { + function updateCaption() { caption.textContent = typeof editor === 'object' ? '' : `${t('sectionCode')} ${editors.indexOf(cm) + 1}`; }