Когда я удерживаю и перетаскиваю GNOME Terminal 3.18.3 [доступно с ubuntu 16.04] в верхнюю часть экрана, чтобы развернуть, он делает это прекрасно. Но когда я делаю то же самое, чтобы вернуть его к исходному размеру, потянув его вниз, он не восстанавливается к исходному размеру. Окно остается максимального размера, хотя строка заголовка вырывается из верхней панели Unity.
Но у меня нет подобной проблемы terminator.