src/Tools/jEdit/src/token_markup.scala

--- a/src/Tools/jEdit/src/token_markup.scala	Sun Sep 22 14:30:34 2013 +0200
+++ b/src/Tools/jEdit/src/token_markup.scala	Sun Sep 22 18:07:34 2013 +0200
@@ -73,13 +73,13 @@
   private def font_metrics(font: Font): LineMetrics =
     font.getLineMetrics("", new FontRenderContext(null, false, false))
 
-  private def imitate_font(family: String, font: Font): Font =
+  def imitate_font(family: String, font: Font): Font =
   {
-    val font1 = new Font (family, font.getStyle, font.getSize)
+    val font1 = new Font(family, font.getStyle, font.getSize)
     font1.deriveFont(font_metrics(font).getAscent / font_metrics(font1).getAscent * font.getSize)
   }
 
-  private def transform_font(font: Font, transform: AffineTransform): Font =
+  def transform_font(font: Font, transform: AffineTransform): Font =
   {
     import scala.collection.JavaConversions._
     font.deriveFont(Map(TextAttribute.TRANSFORM -> new TransformAttribute(transform)))