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

feat(java): workspace user list

Browse source
This commit is contained in:
zaaarf 2024-09-25 17:36:20 +02:00
parent 7d3a7ebef5
commit a756b2805c
No known key found for this signature in database
GPG key ID: 102E445F4C3F829B
2 changed files with 16 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -80,6 +80,16 @@ public final class Workspace {
return active_buffers(this.ptr); return active_buffers(this.ptr);
} }
private static native String[] user_list(long self);
/**
* Returns the users currently in the workspace.
* @return an array containing the names of the users in the workspace
*/
public String[] userList() {
return user_list(this.ptr);
}
private static native void create_buffer(long self, String path) throws ConnectionRemoteException; private static native void create_buffer(long self, String path) throws ConnectionRemoteException;
/** /**

6
src/ffi/java/workspace.rs
View file

@ -31,6 +31,12 @@ fn active_buffers(workspace: &mut Workspace) -> Vec<String> {
workspace.buffer_list() workspace.buffer_list()
} }
/// Gets a list of the active buffers.
#[jni(package = "mp.code", class = "Workspace")]
fn user_list(workspace: &mut Workspace) -> Vec<String> {
workspace.user_list()
}
/// Create a new buffer. /// Create a new buffer.
#[jni(package = "mp.code", class = "Workspace")] #[jni(package = "mp.code", class = "Workspace")]
fn create_buffer(workspace: &mut Workspace, path: String) -> Result<(), RemoteError> { fn create_buffer(workspace: &mut Workspace, path: String) -> Result<(), RemoteError> {