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

fix(java): java 8 compatible javadocs

Browse source
This commit is contained in:
zaaarf 2024-09-18 03:27:33 +02:00
parent 7c92b94a07
commit 073de5e81f
No known key found for this signature in database
GPG key ID: C91CFF9E2262BBA1
1 changed files with 4 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -11,10 +11,9 @@ import mp.code.exceptions.ControllerException;
/**
* Represents a CodeMP workspace, which broadly speaking is a collection
* of buffers across which edits and cursor movements are tracked.
* @apiNote Generally, it is safer to avoid storing this directly.
* Instead, users should let the native library manage as
* much as possible for them.
* They should store the workspace ID and retrieve the object
* Generally, it is safer to avoid storing this directly. Instead,
* users should let the native library manage as much as possible for
* them. They should store the workspace ID and retrieve the object
* whenever needed with {@link Client#getWorkspace(String)}.
*/
public final class Workspace {