chiark / gitweb /
Fix two window-resizing bugs introduced by the addition of the status bar.