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