src/Tools/jEdit/src/document_view.scala
changeset 54530 2c1440f70028
parent 54461 6c360a6ade0e
child 55432 9c53198dbb1c
     1.1 --- a/src/Tools/jEdit/src/document_view.scala	Wed Nov 20 15:00:25 2013 +0100
     1.2 +++ b/src/Tools/jEdit/src/document_view.scala	Wed Nov 20 15:53:59 2013 +0100
     1.3 @@ -82,7 +82,7 @@
     1.4          PIDE.editor.current_command(view, snapshot) match {
     1.5            case Some(command) =>
     1.6              snapshot.node.command_start(command) match {
     1.7 -              case Some(start) => List(command.proper_range + start)
     1.8 +              case Some(start) => List(snapshot.convert(command.proper_range + start))
     1.9                case None => Nil
    1.10              }
    1.11            case None => Nil