changed size of MainWindow and set minimum widths for dock widgets.