| commit | 208c15ab8516cebb62e45b08d3414cd49a319d95 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Feb 16 16:06:39 1999 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Feb 16 16:06:39 1999 +0000 |
| tree | dad95d08046d1bca1dc14ca66d065c6733f29158 | |
| parent | ed52a20c6eb451cd8827e3901f115709980edaae [diff] |
Added optional arguments to dialogs to allow setting of button titles.