diff options
| author | Stefan Monnier <[email protected]> | 2005-01-19 23:47:35 +0000 |
|---|---|---|
| committer | Stefan Monnier <[email protected]> | 2005-01-19 23:47:35 +0000 |
| commit | f0d3d9feb068b5bff633efaf355c31706caaa94f (patch) | |
| tree | 18751e91ef37b123411efe3245da09a6dc902f74 /etc/NEWS | |
| parent | 7c018923b03fb5907df95a72336ca535f1f6b4e0 (diff) | |
Add dotimes-with-progress-reporter.
Diffstat (limited to 'etc/NEWS')
| -rw-r--r-- | etc/NEWS | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -2512,9 +2512,9 @@ back the match can start; this is a way to keep it from taking too long. +++ ** New functions `make-progress-reporter', `progress-reporter-update', -`progress-reporter-force-update' and `progress-reporter-done' provide -a simple and efficient way for a command to present progress messages -for the user. +`progress-reporter-force-update', `progress-reporter-done', and +`dotimes-with-progress-reporter' provide a simple and efficient way for +a command to present progress messages for the user. --- ** To manipulate the File menu using easy-menu, you must specify the |