ghc-display-with-name: shrink displayed window if possible