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.