Quando non ho app in esecuzione o sono nella schermata delle attività nella shell di GNOME, la barra delle attività è alta forse 20px. Quando eseguo un'applicazione, questa si espande a 70px, possibilmente per adattarsi all'icona dell'applicazione 64 × 64 che utilizza per l'applicazione. Posso ridurre questa barra per tutto il tempo?
Risposta accettata:
Devi modificare il CSS del tema della shell di gnome. Il file CSS predefinito della shell di gnome è conservato in /usr/share/gnome-shell/theme/ – assicurati che per modificare il file hai "root" privilegi, quindi modifica "gnome-shell.css" .
Lo stile del pannello (o della barra delle attività) è in #panel (basta fare una ricerca) – l'espansione del pannello è probabilmente dovuta agli effetti di font-size &altezza