Revision b87b7a14
| ID | b87b7a1470a84c83c9053a5716a1d08bbbbe3274 |
Do not hide the cursor when showing a progress bar
This is a workaround for a progress bar bug, where the system may
stay with the cursor hidden if finish() is not called.
Files
- added
- modified
- copied
- renamed
- deleted