| commit | 8444507faf45eb14bc19be4371a766c05d684aa2 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Apr 19 15:54:47 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Apr 19 15:54:47 1996 +0000 |
| tree | 804c2d5d1bd5422e2928fcf77c0bc31d94f89643 | |
| parent | dce32a93d3eaa1e42c316c5bb29bc657453a6a3e [diff] |
Use FrameWork.windowbounds(), fixed idle routine