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.
clarified font;
authorwenzelm
Tue, 24 Sep 2013 19:57:44 +0200
changeset 53851 86c8f15afd88
parent 53850 b1bc857f2422
child 53852 c7707223d782
clarified font;
src/Tools/jEdit/src/completion_popup.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/completion_popup.scala	Tue Sep 24 19:53:05 2013 +0200
+++ b/src/Tools/jEdit/src/completion_popup.scala	Tue Sep 24 19:57:44 2013 +0200
@@ -281,10 +281,8 @@
               val fm = text_field.getFontMetrics(text_field.getFont)
               val loc =
                 SwingUtilities.convertPoint(text_field, fm.stringWidth(text), fm.getHeight, layered)
-              val font =
-                text_field.getFont.deriveFont(Rendering.font_size("jedit_popup_font_scale"))
 
-              val completion = new Completion_Popup(layered, loc, font, result.items)
+              val completion = new Completion_Popup(layered, loc, text_field.getFont, result.items)
               {
                 override def complete(item: Completion.Item) {
                   PIDE.completion_history.update(item)
isabelle