From aecec05ea49102adda67d89a0f1c9b9551a97507 Mon Sep 17 00:00:00 2001
From: rooklift <16438795+rooklift@users.noreply.github.com>
Date: Fri, 1 Mar 2024 00:07:45 +0000
Subject: [PATCH] delete from avoid_set when editing

---
 src/modules/hub.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/modules/hub.js b/src/modules/hub.js
index d31df533..2e8afe31 100644
--- a/src/modules/hub.js
+++ b/src/modules/hub.js
@@ -1259,6 +1259,7 @@ let hub_main_props = {
 			this.draw();
 		} else if (["AB", "AW", "AE"].includes(config.editing)) {
 			this.halt();
+			delete config.avoid_set[s]							// Reasonable in all cases.
 			let key = config.editing;
 			if (event.button === 2 && key !== "AE") {
 				// When user right click with Add Black or Add White, use the other colour instead.