# HG changeset patch
# User Thomas Lindae <thomas.lindae@in.tum.de>
# Date 1717029796 -7200
# Node ID 0efa8e784384f154f50a9faee68fe4cbeb95f45a
# Parent  dd59daa3c37a88430595f9a989596da14fe91bad
lsp: removed change_document normalization because it causes desyncs;

diff -r dd59daa3c37a -r 0efa8e784384 src/Tools/VSCode/src/language_server.scala
--- a/src/Tools/VSCode/src/language_server.scala	Mon Sep 30 20:30:59 2024 +0200
+++ b/src/Tools/VSCode/src/language_server.scala	Thu May 30 02:43:16 2024 +0200
@@ -166,18 +166,7 @@
     version: Long,
     changes: List[LSP.TextDocumentChange]
   ): Unit = {
-    val norm_changes = new mutable.ListBuffer[LSP.TextDocumentChange]
-    @tailrec def norm(chs: List[LSP.TextDocumentChange]): Unit = {
-      if (chs.nonEmpty) {
-        val (full_texts, rest1) = chs.span(_.range.isEmpty)
-        val (edits, rest2) = rest1.span(_.range.nonEmpty)
-        norm_changes ++= full_texts
-        norm_changes ++= edits.sortBy(_.range.get.start)(Line.Position.Ordering).reverse
-        norm(rest2)
-      }
-    }
-    norm(changes)
-    norm_changes.foreach(change =>
+    changes.foreach(change =>
       resources.change_model(session, editor, file, version, change.text, change.range))
 
     delay_input.invoke()