diff options
| -rw-r--r-- | html/display-panel.js | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/html/display-panel.js b/html/display-panel.js index 66e51a6..7d801c9 100644 --- a/html/display-panel.js +++ b/html/display-panel.js @@ -497,6 +497,11 @@ var max_query_result_id = 0; function show_query_successful_result(result_item, repo_url, result) { + if (result.length === 0) { + show_message(result_item, "No results :("); + return; + } + const cloned_ul_template = clone_template("result_patterns_list"); set_appended(result_item, cloned_ul_template.ul); |