From e91ab78e87018a7ae7329f3702b7bc340d4dbafc Mon Sep 17 00:00:00 2001 From: sy-records <52o@qq52o.cn> Date: Tue, 30 Jun 2020 17:34:20 +0800 Subject: [PATCH] fix: search can not search the table header --- src/plugins/search/search.js | 1 + 1 file changed, 1 insertion(+) diff --git a/src/plugins/search/search.js b/src/plugins/search/search.js index 1c7c77895..b931e62cc 100644 --- a/src/plugins/search/search.js +++ b/src/plugins/search/search.js @@ -56,6 +56,7 @@ function getAllPaths(router) { function getTableData(token) { if (!token.text && token.type === 'table') { + token.cells.unshift(token.header); token.text = token.cells .map(function(rows) { return rows.join(' | ');