ad492161
a2090bea
7118bdec
* commit 'ad492161e4384efe11daec60cd14902f6b2c662a': Fix for #12945: ProgressBar.setMax() will always redraw.