--- a/src/Tools/jEdit/src/font_info.scala Sat Mar 01 19:39:27 2014 +0100
+++ b/src/Tools/jEdit/src/font_info.scala Sat Mar 01 19:43:35 2014 +0100
@@ -17,9 +17,6 @@
object Font_Info
{
- val dummy: Font_Info = Font_Info("Dialog", 12.0f)
-
-
/* size range */
val min_size = 5