Введите терминал:
sudo chmod +x file.jar
Это должно устранить проблему.
Предполагая, что вы используете Gnome 3 -
Откройте или создайте файл: ~/.config/gtk-3.0/gtk.css (~ - домашнее местоположение для вашего текущего пользователя. Например, если ваш пользователь demo то ~ будет представлять \home\demo). Добавьте следующий CSS в файлheaderbar entry,
headerbar spinbutton,
headerbar button,
headerbar separator {
margin-top: 0px; /* same as headerbar side padding for nicer proportions */
margin-bottom: 0px;
}
headerbar {
min-height: 24px;
padding-left: 2px; /* same as childrens vertical margins for nicer proportions */
padding-right: 2px;
margin: 0px; /* same as headerbar side padding for nicer proportions */
padding: 0px;
}
Run ALT+F2 и укажите букву «r» в появившемся диалоговом окне и нажмите enter, чтобы обновить стиль Для получения дополнительной информации см. исходное решение от Unix Stackexchange: https://unix.stackexchange.com/questions/276951/how-to-change-the-titlebar-height-in-standard-gtk-apps- и-the-with-headerbars? utm_medium = organic & amp; utm_source = google_rich_qa & amp; utm_campaign = google_rich_qa
Предполагая, что вы используете Gnome 3 -
Откройте или создайте файл: ~/.config/gtk-3.0/gtk.css (~ - домашнее местоположение для вашего текущего пользователя. Например, если ваш пользователь demo то ~ будет представлять \home\demo). Добавьте следующий CSS в файлheaderbar entry,
headerbar spinbutton,
headerbar button,
headerbar separator {
margin-top: 0px; /* same as headerbar side padding for nicer proportions */
margin-bottom: 0px;
}
headerbar {
min-height: 24px;
padding-left: 2px; /* same as childrens vertical margins for nicer proportions */
padding-right: 2px;
margin: 0px; /* same as headerbar side padding for nicer proportions */
padding: 0px;
}
Run ALT+F2 и укажите букву «r» в появившемся диалоговом окне и нажмите enter, чтобы обновить стиль Для получения дополнительной информации см. исходное решение от Unix Stackexchange: https://unix.stackexchange.com/questions/276951/how-to-change-the-titlebar-height-in-standard-gtk-apps- и-the-with-headerbars? utm_medium = organic & amp; utm_source = google_rich_qa & amp; utm_campaign = google_rich_qa