| commit | d6ecfea8ded58ca2f97353423b3cf19e11fb63ad | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Dec 09 22:54:42 1999 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Dec 09 22:54:42 1999 +0000 |
| tree | be207a2032c3bcc89a6a7be99f1a73340e3761b3 | |
| parent | a6107f75c10f6725fbbf5941afb560230db1732b [diff] |
Changed appearance-dialogs to new WDEF values. Also undid silly change of button types in those dialogs.