disa_app/static/js/browse_tabulator_init-table.js
//  then set it back to what it was
then set it back to what it was
then set it back to what it was
function download() {
    const oldPageSize = table.getPageSize();
    table.setPageSize(sr.MAX_NUMBER_OF_ENTRIES);
    table.download('csv', `disa-data-export_${Date.now()}.csv`);
    table.setPageSize(oldPageSize);
  }
function download ( ) { const oldPageSize = table . getPageSize ( ) ; table . setPageSize ( sr . MAX_NUMBER_OF_ENTRIES ) ; table . download ( 'csv' , ` ${ Date . now ( ) } ` ) ; table . setPageSize ( oldPageSize ) ; }
then set it back to what it was
then set it back to what it was