# HG changeset patch
# User Thomas Lindae <thomas.lindae@in.tum.de>
# Date 1719754371 -7200
# Node ID e81864b37183992bb510078c4908b93b852ec69b
# Parent  a5d42b37331fdd50e612c8897041b555ef5139b1
lsp: tuned;

diff -r a5d42b37331f -r e81864b37183 src/Tools/VSCode/src/pretty_text_panel.scala
--- a/src/Tools/VSCode/src/pretty_text_panel.scala	Sun Jun 30 15:32:45 2024 +0200
+++ b/src/Tools/VSCode/src/pretty_text_panel.scala	Sun Jun 30 15:32:51 2024 +0200
@@ -75,7 +75,7 @@
         .cumulate(Text.Range.full, None: Option[String], Rendering.text_color_elements, (_, m) => {
           Some(Some(m.info.name))
         })
-        .flatMap(e => e._2 match {
+        .flatMap(e => e.info match {
           case None => None
           case Some(i) => Some((document.range(e._1), "text_" ++ Rendering.text_color(i).toString))
         })
diff -r a5d42b37331f -r e81864b37183 src/Tools/VSCode/src/vscode_rendering.scala
--- a/src/Tools/VSCode/src/vscode_rendering.scala	Sun Jun 30 15:32:45 2024 +0200
+++ b/src/Tools/VSCode/src/vscode_rendering.scala	Sun Jun 30 15:32:51 2024 +0200
@@ -79,7 +79,7 @@
 
   def completion(node_pos: Line.Node_Position, caret: Text.Offset): List[LSP.CompletionItem] = {
     val doc = model.content.doc
-    val line = node_pos.pos.line
+    val line = node_pos.line
     val unicode = resources.unicode_symbols_edits
     doc.offset(Line.Position(line)) match {
       case None => Nil