[PATCH 1 of 3] progress: move from extension to core

[Matt Mackall]

On Sat, 2012-05-12 at 20:09 +0200, Martin Geisler wrote:
> # HG changeset patch
> # User Martin Geisler <martin at geisler.net>
> # Date 1336829943 -7200
> # Node ID 136fc47bfbafb39a599937974d05aaa345ed79a9
> # Parent  654b9e1966f76d38b11fbd1d518efce5d58caa88
> progress: move from extension to core

>          self.repo.ui.setconfig('ui', 'report_untrusted', 'off')
>          self.repo.ui.setconfig('ui', 'interactive', 'off')
> +        self.repo.ui.setconfig('progress', 'disable', True)

Huh. Seems we should instead teach progress to respect ui.interactive?

Also, this is obviously two changes. Grumble.

-- 
Mathematics is the supreme nostalgia of our time.