# HG changeset patch
# User wenzelm
# Date 1354736582 -3600
# Node ID 72367327bab27db5e407350db3f01cfbc997b44e
# Parent  fe4bc5b2abb41182a52d564789c88bd6912ba8c2
evade ugly default font, notably on Windows laf;

diff -r fe4bc5b2abb4 -r 72367327bab2 src/Pure/System/build_dialog.scala
--- a/src/Pure/System/build_dialog.scala	Wed Dec 05 20:24:49 2012 +0100
+++ b/src/Pure/System/build_dialog.scala	Wed Dec 05 20:43:02 2012 +0100
@@ -7,7 +7,7 @@
 package isabelle
 
 
-import java.awt.{GraphicsEnvironment, Point}
+import java.awt.{GraphicsEnvironment, Point, Font}
 import scala.swing.{ScrollPane, Button, CheckBox, FlowPanel,
   BorderPanel, MainFrame, TextArea, SwingApplication}
 import scala.swing.event.ButtonClicked
@@ -55,6 +55,7 @@
     /* text */
 
     val text = new TextArea {
+      font = new Font("SansSerif", Font.PLAIN, 14)
       editable = false
       columns = 40
       rows = 10