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.
enforce IsabelleText font for better symbol coverage, especially on Windows;
authorwenzelm
Sat, 28 Sep 2013 20:24:13 +0200
changeset 53973 78bbe75c8437
parent 53972 c6297fa1031a
child 53974 612505263257
enforce IsabelleText font for better symbol coverage, especially on Windows;
src/Tools/jEdit/src/isabelle_sidekick.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/isabelle_sidekick.scala	Sat Sep 28 16:36:17 2013 +0200
+++ b/src/Tools/jEdit/src/isabelle_sidekick.scala	Sat Sep 28 20:24:13 2013 +0200
@@ -29,7 +29,8 @@
     protected var _start = int_to_pos(start)
     protected var _end = int_to_pos(end)
     override def getIcon: Icon = null
-    override def getShortString: String = _name
+    override def getShortString: String =
+      "<html><span style=\"font-family: IsabelleText;\">" + HTML.encode(_name) + "</span></html>"
     override def getLongString: String = _name
     override def getName: String = _name
     override def setName(name: String) = _name = name
isabelle