From a54d6b87163f1ee3c0fe61c13d5e9a747503577f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ricardo=20Montan=CC=83ana?= <rmontanana@gmail.com>
Date: Wed, 17 Apr 2024 12:57:57 +0200
Subject: [PATCH] Fix paginator error when deleting in b_manage

---
 src/manage/ManageScreen.cpp | 1 +
 1 file changed, 1 insertion(+)

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<int>(OutputType::EXPERIMENTS)].setTotal(results.size());
                     list(filename + " deleted!", Colors::RED());
                     break;
                 case 'h':