Привет,
Нет. Но можно же настроить заголовок окна. Конфиги Gnome3 лежат в ~/.config/gtk-3.0/, в этом каталоге нужно создать css-файл gtk.css с содержанием, к примеру:
//Уменьшаем отступы сверху и снизу в заголовке окна
.header-bar.default-decoration {
padding-top: 3px;
padding-bottom: 3px;
border: none;
background-image: linear-gradient(to bottom,
shade(@theme_bg_color, 1.05),
shade(@theme_bg_color, 0.99));
box-shadow: inset 0 1px shade(@theme_bg_color, 1.4);
}
//Так же делаем для блока с кнопками, чтобы не получить узкий заголовок с большими кнопками
.header-bar.default-decoration .button.titlebutton {
padding-top: 2px;
padding-bottom: 2px;
}
Поиграйтесь со параметрами для своего удобства самостоятельно.