Прилетела свежая версия этой терминалки, в которой состоялся переход на GTK3, в результате чего теперь на панельке табов я наблюдаю огромные кнопки, занимающие примерно 1/5 экрана.
Как бы это победить? http://rgho.st/64d45LdyL/image.png
Откатывать на старую версию не хочется, т.к. в этой состоялся переход и на свежую библиотеку vte, которая наконец-то позволяет использовать copy/paste через буфер обмена.