chiark / gitweb /
Layout the main window after reloading settings panel