Function kill_paging_form

web_server/public/javascripts/utilities.js:337–341

(formName)

var PAGING_CLICK_WAIT = false;

function kill_paging_form(formName) {
    document.getElementById('pagingForm-' + formName).onsubmit = function () {
        return false;
    };
}

function add_paging_html(formName, display_function) {
    let html = '<div>';