app/js/search.js
// Renders a list of paths representing search results
Renders a list of paths representing search results
Renders a list of paths representing search results
function renderSearchResults(results) {
    let resultListHtmlObj = document.getElementById("results_list");
    resultListHtmlObj.innerHTML = "";
    for (let i = 0; i < results.length; i++) {
        let treeNode = $(`#${currentWorkspace}_tree`).tree('getNodeById', results[i].id);
        resultListHtmlObj.appendChild(
            createSearchResultListItem(treeNode));
    }
    let resultsLabel = document.getElementById("results_label");
    resultsLabel.innerText = `(${results.length} results)`
}
function renderSearchResults ( results ) { let resultListHtmlObj = document . getElementById ( "results_list" ) ; resultListHtmlObj . innerHTML = "" ; for ( let i = 0 ; i < results . length ; i ++ ) { let treeNode = $ ( ` ${ currentWorkspace } ` ) . tree ( 'getNodeById' , results [ i ] . id ) ; resultListHtmlObj . appendChild ( createSearchResultListItem ( treeNode ) ) ; } let resultsLabel = document . getElementById ( "results_label" ) ; resultsLabel . innerText = ` ${ results . length } ` }
Renders a list of paths representing search results
Renders a list of paths representing search results
// Clear results list // Show new result quantity