| commit | 52fbe5330b6a26ac1ca25aacd49523ad7f475182 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Mar 24 12:12:24 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Mar 24 12:12:24 2003 +0000 |
| tree | 0703d662fc6aca7fa75f7aa6251415984597deaf | |
| parent | b46bebf5184b9a496eb49444e0d7e2e56514b2ab [diff] |
Allow floating point values in ProgressBar.