Florian Bruhin f21cffd9b8 100% coverage for mainwindow.statusbar.percentage.		2015-08-02 01:45:19 +02:00
..
statusbar	100% coverage for mainwindow.statusbar.percentage.	2015-08-02 01:45:19 +02:00