# HG changeset patch
# User wenzelm
# Date 1378564390 -7200
# Node ID ddefd18d5ed007999f1cdc87b3444caa0432fc12
# Parent  b7c15885fd1e9c51df97870bddb7780a298ac315
tuned imports;

diff -r b7c15885fd1e -r ddefd18d5ed0 src/Pure/System/system_dialog.scala
--- a/src/Pure/System/system_dialog.scala	Sat Sep 07 15:28:16 2013 +0200
+++ b/src/Pure/System/system_dialog.scala	Sat Sep 07 16:33:10 2013 +0200
@@ -11,7 +11,7 @@
 import javax.swing.WindowConstants
 
 import scala.swing.{ScrollPane, Button, CheckBox, FlowPanel,
-  BorderPanel, Frame, TextArea, SwingApplication, Component, Label}
+  BorderPanel, Frame, TextArea, Component, Label}
 import scala.swing.event.ButtonClicked