Quando eu mantenho e arrasto o Terminal do GNOME 3.18.3 [disponível no Ubuntu 16.04] para o topo da tela para maximizá-lo, ele faz isso lindamente. Mas quando eu faço o mesmo para restaurar de volta ao tamanho original, não o resta para o tamanho original. A janela permanece com o tamanho máximo, embora a barra de título se solte da barra superior da unidade.
Mas eu não tenho problema semelhante a terminator .