From 518143d5b9ec3ae3dd54482e4b356b25650f6d5e Mon Sep 17 00:00:00 2001
From: zaaarf <me@zaaarf.foo>
Date: Sun, 3 Nov 2024 19:36:36 +0100
Subject: [PATCH] docs(java): specify the new behaviour of leaveWorkspace

---
 dist/java/src/mp/code/Client.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/dist/java/src/mp/code/Client.java b/dist/java/src/mp/code/Client.java
index 465d10a..113aa65 100644
--- a/dist/java/src/mp/code/Client.java
+++ b/dist/java/src/mp/code/Client.java
@@ -128,7 +128,8 @@ public final class Client {
 	/**
 	 * Leaves a workspace.
 	 * @param workspaceId the id of the workspaces to leave
-	 * @return true if it succeeded (usually fails if the workspace wasn't active)
+	 * @return true if it succeeded or wasn't in the workspace; false if there are still
+	 *         leftover references around
 	 */
 	public boolean leaveWorkspace(String workspaceId) {
 		return leave_workspace(this.ptr, workspaceId);