From 5c76fcf92e38d9e84d95188c941e07df68be6c93 Mon Sep 17 00:00:00 2001 From: zaaarf Date: Fri, 18 Oct 2024 12:17:41 +0200 Subject: [PATCH] fix(java): bad user_list signature --- dist/java/src/mp/code/Workspace.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/dist/java/src/mp/code/Workspace.java b/dist/java/src/mp/code/Workspace.java index 116f24a..8e3af72 100644 --- a/dist/java/src/mp/code/Workspace.java +++ b/dist/java/src/mp/code/Workspace.java @@ -80,13 +80,13 @@ public final class Workspace { return active_buffers(this.ptr); } - private static native String[] user_list(long self); + private static native User[] user_list(long self); /** * Returns the users currently in the workspace. - * @return an array containing the names of the users in the workspace + * @return an array containing the users in the workspace */ - public String[] userList() { + public User[] userList() { return user_list(this.ptr); }