Function add_paging_html

web_server/public/javascripts/utilities.js:343–369

(formName, display_function)

}

function add_paging_html(formName, display_function) {
    let html = '<div>';
    html += '<form id="pagingForm-' + formName + '">';
    html += '<nav aria-label="Page navigation">';
    html += '<ul class="pagination">';
    html += '<li class="page-item"><label for="pageLimit-' + formName + '" id="label-aligned-0">Results per page:&nbsp;</label></li>';
    html += '<li class="page-item"><input type="number" style="width:100px;" value="' + LIMIT.toString() + '" step="100" name="pageLimit-' + formName + '" id="pageLimit-' + formName + '" min="100" max="1000"></input>&nbsp;</li>';
    html += '<li class="page-item">';
    html += '<a class="page-link" href="#" aria-label="Previous" id="prevPage-' + formName + '">';
    html += '<span aria-hidden="true">&laquo;</span>';
    html += '<span class="sr-only">Previous</span>';
    html += '</a></li>';
    html += '<li class="page-item">';
    html += '<a class="page-link" href="#" aria-label="Next" id="nextPage-' + formName + '">';
    html += '<span aria-hidden="true">&raquo;</span>';
    html += '<span class="sr-only">Next</span>';
    html += '</a></li></ul></nav>';
    html += '</form>';
    html += '</div>';


    PAGING_FUNCTIONS[formName] = display_function;

    window.setTimeout(function () { kill_paging_form(formName) }, 1000);

    return (html);
}

function do_page_refresh(formName) {
    LIMIT = document.getElementById("pageLimit-" + formName).value;