src/Tools/jEdit/src/isabelle_sidekick.scala
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
               })
           })
     }