Como faço para mover apenas uma extremidade de uma janela do terminal do GNOME?

Question

Estou vendo alguns efeitos inesperados ao tentar redimensionar as janelas de terminal do GNOME de forma interativa (extensão Debian, GNOME 3.22.2):

• Alterar a largura da janela, segurando a borda esquerda ou direita com o mouse, também aumentará a altura da janela.
• Alterar a altura da janela, agarrando a borda superior ou inferior com o mouse, também moverá a borda oposta.

Janelas de outros aplicativos não se comportam assim. O que devo fazer para evitar esses "recursos"?