| commit | 9937a04994f0ae25e85cdebdadc19fa4cf5fc909 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Dec 13 23:31:55 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Dec 13 23:31:55 2002 +0000 |
| tree | b4e239fb64ae91bfa3d23fdeec5f6327769bef79 | |
| parent | 6d802a0ce35ea2d0058191e198edab2d87360278 [diff] |
Tweaked some button sizes to make them look better on OSX.