GUI: resize the header columns *initially*, but respect the user preferences later on
GUI: listen to QDesktopWidget::workAreaResized instead of just resized()

Sugegsted by Thomas Lübking.