home *** CD-ROM | disk | FTP | other *** search
- import java.awt.event.WindowAdapter;
- import java.awt.event.WindowEvent;
-
- final class MainFrame$2 extends WindowAdapter {
- // $FF: synthetic field
- private final MainFrame this$0;
-
- public void windowClosing(WindowEvent var1) {
- this.this$0.dispose();
- System.exit(0);
- }
-
- // $FF: synthetic method
- MainFrame$2(MainFrame var1) {
- this.this$0 = var1;
- }
- }
-