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