diff --git a/src/manage/ManageScreen.cpp b/src/manage/ManageScreen.cpp index 1705912..c470ca2 100644 --- a/src/manage/ManageScreen.cpp +++ b/src/manage/ManageScreen.cpp @@ -450,6 +450,7 @@ namespace platform { } std::cout << "Deleting " << filename << std::endl; results.deleteResult(index); + paginator[static_cast(OutputType::EXPERIMENTS)].setTotal(results.size()); list(filename + " deleted!", Colors::RED()); break; case 'h':