/[gzz]/gzz/gzz/view/FallbackBinder.java
ViewVC logotype

Diff of /gzz/gzz/view/FallbackBinder.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch 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    

Legend:
Removed from v.1.12  
changed lines
  Added in v.1.13

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26