Cuando mantengo presionado y arrastro GNOME Terminal 3.18.3 [disponible con ubuntu 16.04] a la parte superior de la pantalla para maximizarlo, lo hace maravillosamente. Pero cuando hago lo mismo para restaurar el tamaño original tirando de él hacia abajo, no restaura el tamaño original. La ventana mantiene su tamaño máximo aunque la barra de título sale de la barra superior de la unidad.
Pero no tengo un problema similar terminator.