Fixed issue #995.

nilsschmidt1337 · Oct 7, 2023 · 6681681 · 6681681
1 parent c00b3c6
commit 6681681
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/org/nschmidt/ldparteditor/data/VM00Base.java b/src/org/nschmidt/ldparteditor/data/VM00Base.java
@@ -228,7 +228,7 @@ public final void syncWithTextEditors(boolean addHistory) {
                 return;
             }
             final AtomicInteger tid2 = new AtomicInteger(tid.incrementAndGet());
-            final Thread syncThread = new Thread(() -> {
+            Thread.ofVirtual().start(() -> {
                 openThreads.incrementAndGet();
                 do {
                     if (skipTimer.get()) {
@@ -339,7 +339,6 @@ public final void syncWithTextEditors(boolean addHistory) {
                     }
                 }
             });
-            syncThread.start();
         } finally {
             try {
                 lock.unlock();