src/Tools/jEdit/src/jedit/document_model.scala

       var next_x = start
       for {
         (command, command_start) <-
           snapshot.node.command_range(snapshot.revert(start), snapshot.revert(stop))
         markup <- snapshot.state(command).highlight.flatten
-        val abs_start = snapshot.convert(command_start + markup.range.start)
-        val abs_stop = snapshot.convert(command_start + markup.range.stop)
+        val Text.Range(abs_start, abs_stop) = snapshot.convert(markup.range + command_start)
         if (abs_stop > start)
         if (abs_start < stop)
         val token_start = (abs_start - start) max 0
         val token_length =
           (abs_stop - abs_start) -