1.1 --- a/src/Pure/System/build_dialog.scala	Wed Dec 05 19:46:47 2012 +0100
     1.2 +++ b/src/Pure/System/build_dialog.scala	Wed Dec 05 20:24:49 2012 +0100
     1.3 @@ -7,6 +7,7 @@
     1.4  package isabelle
     1.5  
     1.6  
     1.7 +import java.awt.{GraphicsEnvironment, Point}
     1.8  import scala.swing.{ScrollPane, Button, CheckBox, FlowPanel,
     1.9    BorderPanel, MainFrame, TextArea, SwingApplication}
    1.10  import scala.swing.event.ButtonClicked
    1.11 @@ -23,8 +24,10 @@
    1.12          case
    1.13            Properties.Value.Boolean(system_mode) ::
    1.14            session :: include_dirs =>
    1.15 +            val center = GraphicsEnvironment.getLocalGraphicsEnvironment().getCenterPoint()
    1.16              val top = build_dialog(system_mode, include_dirs.map(Path.explode), session)
    1.17              top.pack()
    1.18 +            top.location = new Point(center.x - top.size.width / 2, center.y - top.size.height / 2)
    1.19              top.visible = true
    1.20          case _ => error("Bad arguments:\n" + cat_lines(args))
    1.21        }