-
A large portion of the status bar is permanently occupied by the progress widget, which is empty most of the time. Hide it when unused to allow the status label to expand and use all of the available space. Signed-off-by: Alexander Miller <alex.miller@gmx.de>
2d5af8cd