progress: provide an explicit disable method for developers
The other three checks for disabling the progress bar have serious
side effects for any class that derives from ui.ui()
i18n-ja: synchronized with
eddf859343de
i18n-pt_BR: synchronized with
076e8a8000a3, minor fixes
url: avoid traceback when parsing [auth] (
issue2056)
filemerge: use native path separators when merging (
issue1399)