Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
minor performance tuning;
authorwenzelm
Tue, 05 Aug 2025 21:25:52 +0200
changeset 82949 728762181377
parent 82948 e2e43992f339
child 82950 a4e457dc735e
minor performance tuning;
src/Pure/PIDE/editor.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/editor.scala	Tue Aug 05 21:44:54 2025 +0200
+++ b/src/Pure/PIDE/editor.scala	Tue Aug 05 21:25:52 2025 +0200
@@ -121,9 +121,8 @@
       def filter(msg: XML.Elem): Boolean =
         (for {
           (command, command_range) <- thy_command_range
-          msg_range <- Position.Range.unapply(msg.markup.properties)
-          chunk_range <- command.chunk.incorporate(msg_range)
-        } yield command_range.contains(chunk_range)) getOrElse true
+          msg_offset <- Position.Offset.unapply(msg.markup.properties)
+        } yield command_range.contains(command.chunk.decode(msg_offset))) getOrElse true
 
       thy_command orElse snapshot.current_command(snapshot.node_name, caret_offset) match {
         case None => Editor.Output.init
isabelle