@@ -270,123 +464,35 @@ function update_search(selected_filters = []) {
$(".search-modal-card-body").html(search_result_container);
} else {
- filter_results = [];
- modal_filters = make_modal_body_filters(filters, filter_results);
-
if (!$(".search-modal-card-body").hasClass("is-justify-content-center")) {
$(".search-modal-card-body").addClass("is-justify-content-center");
}
- $(".search-modal-card-body").html(initial_search_body);
+ $(".search-modal-card-body").html(`
+
Type something to get started!
+ `);
}
}
/**
* Make the modal filter html
*
- * @param {string[]} filters
- * @param {string[]} selected_filters
* @returns string
*/
-function make_modal_body_filters(filters, selected_filters = []) {
- let str = ``;
-
- filters.forEach((val) => {
- if (selected_filters.includes(val)) {
- str += `
${val}`;
- } else {
- str += `
${val}`;
- }
- });
+function make_modal_body_filters() {
+ let str = filters
+ .map((val) => {
+ if (selected_filter == val.toLowerCase()) {
+ return `
${val}`;
+ } else {
+ return `
${val}`;
+ }
+ })
+ .join("");
- let filter_html = `
+ return `
Filters:
${str}
-
- `;
-
- return filter_html;
-}
-
-/**
- * Make the result component given a minisearch result data object and the value of the search input as queryString.
- * To view the result object structure, refer: https://lucaong.github.io/minisearch/modules/_minisearch_.html#searchresult
- *
- * @param {object} result
- * @param {string} querystring
- * @returns string
- */
-function make_search_result(result, querystring) {
- let search_divider = `
`;
- let display_link =
- result.location.slice(Math.max(0), Math.min(50, result.location.length)) +
- (result.location.length > 30 ? "..." : ""); // To cut-off the link because it messes with the overflow of the whole div
-
- if (result.page !== "") {
- display_link += ` (${result.page})`;
- }
-
- let textindex = new RegExp(`${querystring}`, "i").exec(result.text);
- let text =
- textindex !== null
- ? result.text.slice(
- Math.max(textindex.index - 100, 0),
- Math.min(
- textindex.index + querystring.length + 100,
- result.text.length
- )
- )
- : ""; // cut-off text before and after from the match
-
- let display_result = text.length
- ? "..." +
- text.replace(
- new RegExp(`${querystring}`, "i"), // For first occurrence
- '
$&'
- ) +
- "..."
- : ""; // highlights the match
-
- let in_code = false;
- if (!["page", "section"].includes(result.category.toLowerCase())) {
- in_code = true;
- }
-
- // We encode the full url to escape some special characters which can lead to broken links
- let result_div = `
-
-
-
${result.title}
-
${result.category}
-
- ${display_result}
-
-
- ${display_link}
-
-
- ${search_divider}
- `;
-
- return result_div;
-}
-
-/**
- * Get selected filters, remake the filter html and lastly update the search modal
- */
-function get_filters() {
- let ele = $(".search-filters .search-filter-selected").get();
- filter_results = ele.map((x) => $(x).text().toLowerCase());
- modal_filters = make_modal_body_filters(filters, filter_results);
- update_search(filter_results);
+