--- a/src/Tools/jEdit/src/isabelle_sidekick.scala Sun Sep 29 13:53:16 2013 +0200
+++ b/src/Tools/jEdit/src/isabelle_sidekick.scala Sun Sep 29 14:07:47 2013 +0200
@@ -30,7 +30,8 @@
protected var _end = int_to_pos(end)
override def getIcon: Icon = null
override def getShortString: String =
- "<html><span style=\"font-family: IsabelleText;\">" + HTML.encode(_name) + "</span></html>"
+ "<html><span style=\"font-family: " + Rendering.font_family() + ";\">" +
+ HTML.encode(_name) + "</span></html>"
override def getLongString: String = _name
override def getName: String = _name
override def setName(name: String) = _name = name