Parent Directory | Revision Log | 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 |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |