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