/[gzz]/gzz/gzz/client/gl/GLScreen.java
ViewVC logotype

Diff of /gzz/gzz/client/gl/GLScreen.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.30 by benja, Wed Sep 25 11:36:23 2002 UTC revision 1.31 by benja, Wed Sep 25 12:27:59 2002 UTC
# Line 152  public static final String rcsid = "$Id$ Line 152  public static final String rcsid = "$Id$
152              public void timeout(int id) {              public void timeout(int id) {
153                  binder.timeout(timeouts.remove(new Integer(id)));                  binder.timeout(timeouts.remove(new Integer(id)));
154              }              }
155                
156                public void windowClosed() {
157                    binder.windowClosed(repr);
158                }
159      }      }
160    
161      // XXX To be removed later      // XXX To be removed later

Legend:
Removed from v.1.30  
changed lines
  Added in v.1.31

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