author wenzelm

Sat, 28 Sep 2013 20:24:13 +0200

changeset 55110 78bbe75c8437

parent 55109 c6297fa1031a

child 55111 612505263257

src/Tools/jEdit/src/isabelle_sidekick.scala file | annotate | diff | comparison | revisions
     1.1 --- a/src/Tools/jEdit/src/isabelle_sidekick.scala	Sat Sep 28 16:36:17 2013 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle_sidekick.scala	Sat Sep 28 20:24:13 2013 +0200
     1.3 @@ -29,7 +29,8 @@
     1.4      protected var _start = int_to_pos(start)
     1.5      protected var _end = int_to_pos(end)
     1.6      override def getIcon: Icon = null
     1.7 -    override def getShortString: String = _name
     1.8 +    override def getShortString: String =
     1.9 +      "<html><span style=\"font-family: IsabelleText;\">" + HTML.encode(_name) + "</span></html>"
    1.10      override def getLongString: String = _name
    1.11      override def getName: String = _name
    1.12      override def setName(name: String) = _name = name