From c2a10b45a7c406f6958c0b51f187587ffef70660 Mon Sep 17 00:00:00 2001
From: Ahmed Awan <qe66653@umbc.edu>
Date: Mon, 22 Jul 2024 12:58:38 -0500
Subject: [PATCH] do not unpin a history when it is deleted

---
 client/src/stores/historyStore.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/client/src/stores/historyStore.ts b/client/src/stores/historyStore.ts
index c5df5d2e66e..1c875955a90 100644
--- a/client/src/stores/historyStore.ts
+++ b/client/src/stores/historyStore.ts
@@ -235,7 +235,6 @@ export const useHistoryStore = defineStore("historyStore", () => {
             await createNewHistory();
         }
         del(storedHistories.value, deletedHistory.id);
-        unpinHistories([deletedHistory.id]);
         await handleTotalCountChange(1, true);
     }
 
@@ -389,6 +388,7 @@ export const useHistoryStore = defineStore("historyStore", () => {
         copyHistory,
         createNewHistory,
         deleteHistory,
+        handleTotalCountChange,
         loadCurrentHistory,
         loadHistories,
         loadHistoryById,