1.1 --- a/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala	Wed Aug 11 23:29:17 2010 +0200
     1.2 +++ b/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala	Wed Aug 11 23:46:38 2010 +0200
     1.3 @@ -139,7 +139,7 @@
     1.4                override def getIcon: Icon = null
     1.5                override def getShortString: String = content
     1.6                override def getLongString: String = node.info.toString
     1.7 -              override def getName: String = id
     1.8 +              override def getName: String = Document.print_id(id)
     1.9                override def setName(name: String) = ()
    1.10                override def setStart(start: Position) = ()
    1.11                override def getStart: Position = command_start + node.start