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.
observe user preferences;
authorwenzelm
Sun, 29 Sep 2013 14:07:47 +0200
changeset 53985 f6b7afa414f7
parent 53984 b9139b14c1c5
child 53986 a269577d97c0
observe user preferences;
src/Tools/jEdit/src/isabelle_sidekick.scala file | annotate | diff | comparison | revisions 
--- 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
isabelle