download manager: show display name, allow target file name to change
commit080e20e63088c1f3f39f5a3ea22c17147fe810c2
authorDavid Kettler <kettler@internode.on.net>
Wed, 18 Feb 2009 11:55:29 +0000 (18 22:25 +1030)
committerDavid Kettler <kettler@internode.on.net>
Sat, 21 Feb 2009 08:40:57 +0000 (21 19:10 +1030)
treee9735ebfd9a2a49f9b666d6a10bf888ece48e5bf
parentb3c3c20b7fdba8ada55b33bb8ba40eb81d738b65
download manager: show display name, allow target file name to change

The download manager will now update the display of the target file
name each time there is a change in download state.  If the display
name differs from the (basename of) the target name, it is shown
parenthetically.  Changes to the names in hooks are thus reflected in
the display.

The download manager handling of the target file is changed.  It is
now maintained explicitly and can be specified in register_download.
This is necessary because the targetFile property is immutable.

These changes allow, for instance, downloads to a file with a
temporary name that is changed to the final name when the download is
finished.
modules/download-manager.js