Комментарии 3
Вооружившись кофе я пошел искать исходники gnome-terminal. Гугл бодро выдал первой ссылкой исходники .Обычно для получения исходников пинается пакетный менеджер, который должен выкачать и распаковать пакет исходного кода. В дистрибутиве по умолчанию это делается либо через apt-get source имя_пакета_исходного_кода, либо через apt-src имя_бинарного_пакета. Второй ещё и все сборочные зависимости вытащит, неимоверно удобная штука.
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
gnome-terminal Закрытие вкладки средней кнопкой мыши