From e8041c7383c710197b0a37b8b9e5f04e5a7e8f94 Mon Sep 17 00:00:00 2001
From: bluesaxman <bluesaxman@murkfall.net>
Date: Tue, 22 Sep 2020 15:43:54 -0600
Subject: [PATCH] Added delete button for pool UI

---
 UI/index.html | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/UI/index.html b/UI/index.html
index 84d4bc7..52c3b84 100644
--- a/UI/index.html
+++ b/UI/index.html
@@ -113,7 +113,9 @@ function updateEvent() {
 			var pool = window.gameState.pools[poolID];
 			window.UI.display[poolID] = elementPlace("#pools","Pool_"+pool.name,"pool"+(pool.name == window.gameState.active.pool ? " selected" : ""),"li");
 			window.UI.display[poolID].innerHTML = pool.name+":"+pool.top;
-			// Delete Pool
+			buttonAdd("#Pool_"+pool.name,null,"X",function () {
+				window.gameSession.send('{"action":"del","type":"pool","id":"'+poolID+'","deck":"'+window.gameState.active.deck+'"}');
+			},"pool_button delete","div");
 			window.UI.display[poolID].onclick = function () {
 				window.gameState.active.pool = pool.name;
 				updateEvent();