commit | ff170fbbb5cb17aba7d2aa0523a389599a2341d7 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Fri Feb 20 16:08:47 1998 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Feb 20 16:08:47 1998 +0000 |
tree | 6dd8a32ea084cd80c56f25ed0bf8b6602be76233 | |
parent | 73c804a3cd864cdb0ae2f2cff816848633f454f2 [diff] |
Default button on main window wasn't set correctly