[GNOME Shell] Zmiana rozmiaru ikon w karcie aktywności

Uwaga: Ten wpis został utworzony ponad rok temu. Informacje w nim zawarte mogą być nieaktualne!

Karta aktywności to zakładka, która otwiera się po umieszczeniu kursora w lewym górnym narożniku ekranu. Swoją drogą – ma ktoś pomysł na lepsze tłumaczenie?

Domyślne ikony znajdujące się w karcie aktywności są bardzo duże, przez co nie mieści się ich zbyt wiele na ekranie. Rozmiar ikon zdefiniowany jest w pliku /usr/share/gnome-shell/theme/gnome-shell.css.

Otwórz terminal i wydaj polecenie:

sudo gedit /usr/share/gnome-shell/theme/gnome-shell.css

Odszukaj dwie klasy:

.icon-grid {
    spacing: 36px;
    -shell-grid-item-size: 118px;
}

.icon-grid .overview-icon {
    icon-size: 96px;
}

Zmienić należy zarówno rozmiar ikon jak i odstępy, przykład:

.icon-grid {
    spacing: 25px;
    -shell-grid-item-size: 50px;
}

.icon-grid .overview-icon {
    icon-size: 50px;
}

Zapisz zmiany i zaloguj się ponownie do systemu.

Jeżeli powyższy artykuł nie rozwiązał lub rozwiązał częściowo Twój problem, dodaj swój komentarz opisujący, w którym miejscu napotkałeś trudności.
Mile widziane komentarze z uwagami lub informacjami o rozwiązaniu problemu.
  • emeritus

    U mnie jest tak że jak umieściłem pewną ilość ikon w tej,jak ją tu nazwano *karcie aktywności* to one mi same zmniejszyły rozmiar.Przed chwilą próbowałem specjalnie na chybił-trafił dołożyć parę ikonek i po wstawieniu kilku,rozmiar wszystkich znowu się zmniejszył.Inna rzecz że tych ikon wcale nie musi tam być dużo bo dostęp do wszystkich aplikacji w GNOME Shell jest rozwiązany bardzo wygodnie.

  • markO

    „Domyślne ikony znajdujące się w karcie aktywności są bardzo duże, przez co nie mieści się ich zbyt wiele na ekranie”

    wystarczy spróbować dodać więcej – wówczas same się dostosowywują.

  • Elvis

    To rozwiązanie jest dobre dla osób, które chcą mieć tam zaledwie przypuśćmy 3-5 aplikacji, tych najważniejszych, a nie chcą mieć takich wielkich ikon (same się nie dostosują, bo się mieszczą), wtedy można zaktualizować CSS’a. A przy dodawaniu większej liczby, jak wiadomo, rozmiar ulega automatycznemu dostosowaniu.