| commit | 6e3b425f3f8f5716fcd13dc0a236bd96a1ea000f | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Jul 16 12:35:06 2004 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Jul 16 12:35:06 2004 +0000 |
| tree | 7b09e8dcdb06be6ddb228b066b914e609493898d | |
| parent | 31bca4ef12172aefb2cd936248bf1f4418f1790d [diff] |
Made preference window resizable (and do the most logical thing on resize)