# HG changeset patch
# User wenzelm
# Date 1443538713 -7200
# Node ID 12f9ab87a06de7db624fe33c7d1d0652572e5b32
# Parent  8410015c3e82b4a2a4f36b5ca3b1a73d5cbe8339
tuned GUI;

diff -r 8410015c3e82 -r 12f9ab87a06d src/Pure/GUI/system_dialog.scala
--- a/src/Pure/GUI/system_dialog.scala	Tue Sep 29 16:45:54 2015 +0200
+++ b/src/Pure/GUI/system_dialog.scala	Tue Sep 29 16:58:33 2015 +0200
@@ -7,7 +7,6 @@
 package isabelle
 
 
-import java.awt.{GraphicsEnvironment, Point}
 import java.awt.event.{WindowEvent, WindowAdapter}
 import javax.swing.{WindowConstants, JFrame, JDialog}
 import java.io.{File => JFile, BufferedReader, InputStreamReader}
@@ -36,10 +35,7 @@
         _window = Some(window)
 
         window.pack()
-        val point = GraphicsEnvironment.getLocalGraphicsEnvironment().getCenterPoint()
-        window.setLocation(
-          new Point(point.x - window.getWidth / 2, point.y - window.getHeight / 2))
-
+        window.setLocationRelativeTo(owner)
         window.setVisible(true)
 
         window