Как изменить размеры значков приложений Dash в Ubuntu 18.04?
Есть ли способ изменить размеры значков приложений в Ubuntu 18.04?
Они кажутся мне слишком большими.
4 ответа
Вы можете отредактировать
/usr/share/gnome-shell/theme/gnome-shell.css.Не забудьте сделать резервную копию оригинала file!
Найдите строку, начинающуюся с
#dash {.В следующих строках вы можете изменить такие свойства, как
.icon-grid {spacingиicon-grid .overview {icon-size.После внесения изменений вам необходимо перезапустить оболочку Gnome, нажав Alt + F2 и набрав
r] и Введите .
Две вещи:
Файл для редактирования может быть
/usr/share/gnome-shell/theme/ubuntu.css, а неgnome-shell .css. По крайней мере, это мой случай для новой установки Ubuntu 18.04.Вы все еще «застряли» с максимум 6 столбцами. Если вы хотите большего, используйте расширение « Дополнительные столбцы в представлении приложений »: https://extensions.gnome.org/extension/1305/more-columns-in-applications-view/
Спасибо за эту информацию. В моей системе 18.04 я обнаружил, что вам нужно изменить только /usr/share/gnome-shell/theme/ubuntu.css
И только строку:
/* App Vault/Grid */
.icon-grid {
spacing: 30px;
-shell-grid-horizontal-item-size: 96px; /* change this line - was 136px */
-shell-grid-vertical-item-size: 136px; }
.icon-grid .overview-icon {
icon-size: 96px; }
Мне только что удалось изменить размер в Ubuntu 20.04.1. При использовании настраиваемой темы в этом файле находится .css. Итак, Home / .themes.
я изменил:
- shell-grid-horizontal-item-size: 86 px
- shell-grid-vertical-item-size: 60 px;
С тем же номером значки не по форме.
Я использую расширение gnome для 10 столбцов. Намного лучше !!!