hexedtech/codemp
3
0
Fork 0
mirror of https://github.com/hexedtech/codemp.git synced 2024-10-22 17:59:20 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #55 from hexedtech/fix/java-userlist-signature

Browse source 
fix(java): bad user_list signature
This commit is contained in:
zaaarf 2024-10-18 12:23:34 +02:00 committed by GitHub
commit 53508414e9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
dist/java/src/mp/code/Workspace.java vendored
View file

@ -80,13 +80,13 @@ public final class Workspace {
return active_buffers(this.ptr); 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. * 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); return user_list(this.ptr);
} }