Martin Diehl 12587be595 was not used anymore ... status bar can be used as a replacement, it does to flood log files as extensively as the background thread		2019-03-07 20:48:09 +01:00
..
damask	was not used anymore	2019-03-07 20:48:09 +01:00