src/Tools/jEdit/src/session_build.scala

--- a/src/Tools/jEdit/src/session_build.scala	Mon Nov 23 18:05:33 2015 +0100
+++ b/src/Tools/jEdit/src/session_build.scala	Mon Nov 23 19:51:33 2015 +0100
@@ -45,7 +45,7 @@
       columns = 65
       rows = 24
     }
-    text.font = (new Label).font
+    text.font = GUI.copy_font((new Label).font)
 
     private val scroll_text = new ScrollPane(text)