src/Pure/GUI/system_dialog.scala
changeset 61276 8a4bd05c1735
parent 60998 42cebb02b5ae
child 61278 4d2ea32e0f75
     1.1 --- a/src/Pure/GUI/system_dialog.scala	Sun Sep 27 10:11:15 2015 +0200
     1.2 +++ b/src/Pure/GUI/system_dialog.scala	Tue Sep 29 13:54:04 2015 +0200
     1.3 @@ -16,7 +16,7 @@
     1.4  import scala.swing.event.ButtonClicked
     1.5  
     1.6  
     1.7 -class System_Dialog extends Build.Progress
     1.8 +class System_Dialog extends Progress
     1.9  {
    1.10    /* component state -- owned by GUI thread */
    1.11