diff --git a/i18n/en_US.json b/i18n/en_US.json index 939f54e..4fe8b4f 100644 --- a/i18n/en_US.json +++ b/i18n/en_US.json @@ -160,5 +160,6 @@ "no_empty": "Can not Empty!", "change_avatar": "Avatar modify go", "open": "Open", - "pricing": "Pricing" + "pricing": "Pricing", + "search_no_match": "No matching files were found." } \ No newline at end of file diff --git a/i18n/ja_JP.json b/i18n/ja_JP.json index 9ae2bb1..44f8cc6 100644 --- a/i18n/ja_JP.json +++ b/i18n/ja_JP.json @@ -160,5 +160,6 @@ "no_empty": "空ではありません", "change_avatar": "アバターの変更は行く", "open": "オープン", - "pricing": "价格" + "pricing": "价格", + "search_no_match": "一致するファイルが見つかりませんでした。" } diff --git a/i18n/zh_CN.json b/i18n/zh_CN.json index 38f6218..25b7f29 100644 --- a/i18n/zh_CN.json +++ b/i18n/zh_CN.json @@ -160,5 +160,6 @@ "no_empty": "不能为空", "change_avatar": "头像修改请到", "open": "打开", - "pricing": "价格" + "pricing": "价格", + "search_no_match": "没有发现匹配的文件。" } \ No newline at end of file diff --git a/i18n/zh_TW.json b/i18n/zh_TW.json index ab5d6ca..6c2a870 100644 --- a/i18n/zh_TW.json +++ b/i18n/zh_TW.json @@ -160,5 +160,6 @@ "no_empty": "不能為空", "change_avatar": "頭像修改請到", "open": "打開", - "pricing": "價格" + "pricing": "價格", + "search_no_match": "沒有發現匹配的文件。" } \ No newline at end of file diff --git a/static/js/editors.js b/static/js/editors.js index 7e7a4cb..432d3b2 100644 --- a/static/js/editors.js +++ b/static/js/editors.js @@ -646,6 +646,10 @@ var editors = { + data[i].line + '" data-ch="' + data[i].ch + '"> (' + data[i].line + ':' + data[i].ch + ')'; } + + if (data.length === 0) { + searcHTML += '