src/Tools/jEdit/src/isabelle_sidekick.scala
changeset 44181 bbce0417236d
parent 43695 5130dfe1b7be
child 44582 479c07072992
     1.1 --- a/src/Tools/jEdit/src/isabelle_sidekick.scala	Sat Aug 13 13:42:35 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle_sidekick.scala	Sat Aug 13 13:48:26 2011 +0200
     1.3 @@ -167,7 +167,7 @@
     1.4                new Isabelle_Sidekick.Asset(command.toString, range.start, range.stop) {
     1.5                  override def getShortString: String = content
     1.6                  override def getLongString: String = info_text
     1.7 -                override def toString = "\"" + content + "\" " + range.toString
     1.8 +                override def toString = quote(content) + " " + range.toString
     1.9                })
    1.10            })
    1.11      }