From e7bb5ce91fa0e88238e532e44d8d7cde33d6c494 Mon Sep 17 00:00:00 2001
From: alemi <me@alemi.dev>
Date: Wed, 25 Sep 2024 05:13:00 +0200
Subject: [PATCH] feat: workspace event handling, waiting for PR

it should work but the Workspace::event() function is not available to
js yet, waiting for https://github.com/hexedtech/codemp/pull/19 to get
merged and included in next release
---
 src/commands.ts | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/src/commands.ts b/src/commands.ts
index 3560744..e089c59 100644
--- a/src/commands.ts
+++ b/src/commands.ts
@@ -95,6 +95,28 @@ export async function join(selected: vscode.TreeItem | undefined) {
 		}
 		await controller.send(cursor);
 	});
+
+	// TODO waiting for https://github.com/hexedtech/codemp/pull/19 to reach npm
+	// let event_handler = async () => {
+	// 	try {
+	// 		while (true) {
+	// 			if (workspace === null) break;
+	// 			let event = await workspace.event();
+	// 			if (event.type == "leave") {
+	// 				mapping.colors_cache.get(event.value)?.clear()
+	// 				mapping.colors_cache.delete(event.value);
+	// 			}
+	// 			if (event.type == "join") {
+	// 				mapping.colors_cache.set(event.value, new mapping.UserDecoration(event.value));
+	// 			}
+	// 			provider.refresh();
+	// 		}
+	// 	} catch (e) {
+	// 		console.log(`stopping event handler for workspace: ${e}`);
+	// 	}
+	// };
+	// event_handler();
+
 	vscode.window.showInformationMessage("Connected to workspace");
 	provider.refresh();
 }