fix(java): bad user_list signature

This commit is contained in:
zaaarf 2024-10-18 12:17:41 +02:00
parent a4ab840211
commit 5c76fcf92e
No known key found for this signature in database
GPG key ID: 102E445F4C3F829B

View file

@ -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);
}