Fix that is described in ticket 134

This commit is contained in:
Stephan Porada 2020-10-15 09:35:16 +02:00
parent 7ce0c77a73
commit 107c944bef

View File

@ -156,11 +156,11 @@ function queryDataRecievingCallback(resultsList, detail) {
// Callback that is executed when all results from an issued query have been recieved
function queryDataRecievedCallback(resultsList, detail) {
// hide or disable some things for the user
resultsList.queryResultsUserFeedback.classList.toggle('hide');
resultsList.queryProgressBar.classList.toggle('hide');
resultsList.queryResultsUserFeedback.classList.toggle('hide', true);
resultsList.queryProgressBar.classList.toggle('hide', true);
// reset bar progress for next query
resultsList.queryProgressBar.firstElementChild.style.width = '0%';
resultsList.showCorpusFiles.classList.toggle('disabled');
resultsList.showCorpusFiles.classList.toggle('disabled', false);
}
/**