Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Document.print_id;
authorwenzelm
Wed, 11 Aug 2010 23:46:38 +0200
changeset 38357 715f39fd752d
parent 38356 443fb83a21e8
child 38358 15819cbd7b0e
Document.print_id;
src/Tools/jEdit/src/jedit/isabelle_sidekick.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala	Wed Aug 11 23:29:17 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala	Wed Aug 11 23:46:38 2010 +0200
@@ -139,7 +139,7 @@
               override def getIcon: Icon = null
               override def getShortString: String = content
               override def getLongString: String = node.info.toString
-              override def getName: String = id
+              override def getName: String = Document.print_id(id)
               override def setName(name: String) = ()
               override def setStart(start: Position) = ()
               override def getStart: Position = command_start + node.start
isabelle