Steve Borho <steve@borho.org> [Tue, 23 Feb 2010 23:10:01 -0600] rev 10540
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()