Parent Directory | Revision Log | Patch
revision 1.12 by benja, Wed Sep 25 11:36:23 2002 UTC | revision 1.13 by benja, Wed Sep 25 13:08:19 2002 UTC | |
---|---|---|
# | Line 466 public static final String rcsid = "$Id$ | Line 466 public static final String rcsid = "$Id$ |
466 | ||
467 | public void timeout(Object o) { | public void timeout(Object o) { |
468 | } | } |
469 | ||
470 | public void windowClosed(Object window0) { | |
471 | Fallback.Win window = (Fallback.Win)window0; | |
472 | if(window.close()) | |
473 | if(save()) | |
474 | System.exit(0); | |
475 | ||
476 | AbstractUpdateManager.chg(); | |
477 | } | |
478 | } | } |
479 |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |