From 3f03e78418993d8e9a4f5062e10dc79c3753389e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E6=B2=88=E5=94=81?= <52o@qq52o.cn>
Date: Wed, 1 Jul 2020 08:36:06 +0800
Subject: [PATCH] fix: search can not search the table header (#1256)

---
 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(' | ');