| commit | 805f1deb673b13d02b8b6d0d68c51782fb340f75 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Dec 13 23:33:28 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Dec 13 23:33:28 2002 +0000 |
| tree | 55de7d7c18f7d9658b8efcddd3c54b79a14ca00a | |
| parent | 19ac481a2cfb46a56c4959e414afa30cfad7073d [diff] |
Tweaked button sizes and hid unused items.