src/Tools/jEdit/src/isabelle.scala
changeset 68728 c07f6fa02c59
parent 67148 d24dcac5eb4c
     1.1 --- a/src/Tools/jEdit/src/isabelle.scala	Sun Jul 29 13:18:10 2018 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Tue Jul 31 21:06:09 2018 +0200
     1.3 @@ -334,7 +334,7 @@
     1.4            node.command_start(command) match {
     1.5              case Some(start) =>
     1.6                JEdit_Lib.buffer_edit(buffer) {
     1.7 -                val range = command.proper_range + start
     1.8 +                val range = command.core_range + start
     1.9                  JEdit_Lib.buffer_edit(buffer) {
    1.10                    if (padding) {
    1.11                      text_area.moveCaretPosition(start + range.length)