| commit | 58fa818c0852eb487a0ed4c0485a1f1c363b12f7 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Nov 05 15:53:10 1999 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Nov 05 15:53:10 1999 +0000 |
| tree | 15ab527b7fe2de9c7cda5337b4c9062159d3531c | |
| parent | fd6aabbb35346e0e82415d364e9c8692b3cda9d7 [diff] |
Changes to ProgressBar: - Don't crash if max=0 - set() now has an optional max parameter, to set the maximum value.