58e3822b59
Fix for issue #12945: Changing the maximum of a progress bar does not cause it to be redrawn, even though a new maximum changes the position of the current progress in relation to its maximum. With this fix, setMax() will always cause refreshProgress() to be called if the maximum is different than it was before. Change-Id: I971ec3302953bcadc0aac3dd8241481bab2b5a91