From 0a603a41df146c263baf6596fb18c93b0c8ecd31 Mon Sep 17 00:00:00 2001 From: MrLetsplay Date: Wed, 5 Jun 2024 20:17:56 +0200 Subject: [PATCH] Update document handling (WIP) --- .../shareclientcore/document/SharedDocument.java | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/src/main/java/me/mrletsplay/shareclientcore/document/SharedDocument.java b/src/main/java/me/mrletsplay/shareclientcore/document/SharedDocument.java index 475626d..c36b3b5 100644 --- a/src/main/java/me/mrletsplay/shareclientcore/document/SharedDocument.java +++ b/src/main/java/me/mrletsplay/shareclientcore/document/SharedDocument.java @@ -23,7 +23,7 @@ public class SharedDocument implements MessageListener { private int lamport; private Set listeners; - public SharedDocument(RemoteConnection connection, String path, String initialContents) { + public SharedDocument(RemoteConnection connection, String path, byte[] initialContents) { this.connection = connection; this.charBag = new ArrayCharBag(); this.path = path; @@ -32,10 +32,14 @@ public class SharedDocument implements MessageListener { charBag.add(Char.START_OF_DOCUMENT); charBag.add(Char.END_OF_DOCUMENT); - if(initialContents != null && !initialContents.isEmpty()) { + if(initialContents != null && initialContents.length > 0) { insert(0, initialContents, Identifier.DEFAULT_SITE); } } + + public SharedDocument(RemoteConnection connection, String path, String initialContents) { + this(connection, path, initialContents.getBytes(StandardCharsets.UTF_8)); + } public SharedDocument(RemoteConnection connection, String path) { this(connection, path, null);