From 073de5e81f2005b6b60154e832ff1c6f1d75bee7 Mon Sep 17 00:00:00 2001 From: zaaarf Date: Wed, 18 Sep 2024 03:27:33 +0200 Subject: [PATCH] fix(java): java 8 compatible javadocs --- dist/java/src/mp/code/Workspace.java | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/dist/java/src/mp/code/Workspace.java b/dist/java/src/mp/code/Workspace.java index 419a193..b6582bb 100644 --- a/dist/java/src/mp/code/Workspace.java +++ b/dist/java/src/mp/code/Workspace.java @@ -11,11 +11,10 @@ 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 - * whenever needed with {@link Client#getWorkspace(String)}. + * 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 { private final long ptr;