[risolto] Ingrandire topbar in Ubuntu

[Sevin]

Ho installato Focal Fossa, dopo anni di Kubuntu (prima) e Xubuntu (dopo), e mi trovo bene.

Ho installato le varie estensioni di Gnome Shell ma non riesco a variare la dimensione delle icone della topbar. Come è possibile farlo?

[Dayro]

Ciao! Intendi queste icone?

[Sevin]

esatto, proprio quelle!!!!

[frapox]

Non credo si possa ingrandire la Topbar della Shell né le sue icone, ma davvero ce n'è bisogno?

[Sevin]

si può vivere anche senza, ovviamente! Ma per gusti personali la vorrei leggermente più grande in modo da leggere meglio alcune informazioni ivi riportate

[Apanta]

Forse ci sono alcuni temi che hanno icone più grandi; prova.

[frapox]

si può vivere anche senza, ovviamente! Ma per gusti personali la vorrei leggermente più grande in modo da leggere meglio alcune informazioni ivi riportate

Io che tengo il monitor a circa 1 mt di distanza, non sento il bisogno di ingrandirla... visualizzo bene tutto. Sto usando il tema GTK e le icone di Ubuntu, quindi vedo come se fossi su Ubuntu Focal.

Ma anche volendo, ripeto, temo non ci sia la possibilità di ingrandire questi elementi su Gnome shell, mi spiace.

EDIT: è possibile tramite un'estensione della Gnome shell, vedi il post di -Riker- in fondo.

[dxgiusti]

lo puoi fare metti la dash nel pannello. oviamente non avrai più la dash ma sarà il pannello a gestire tutto.

[Sevin]

pazienza, vengo da XFCE dove ogni singolo aspetto è gestibile (anche l'ordine delle estensioni/widget sul pannello) anche se Gnome Shell ha molto altro in più.

La dash nel pannello non mi piace molto, anche lì questione di gusti

[Dayro]

Ok, non è impossibile

Solo che è un pò intricato. Fino alla 18.04 era sufficente modificare il file css del tema in uso per avere l'effetto desiderato.
Adesso le cose si complicano, perchè il css del tema di gnome-shell è integrato in un file binario denominato gnome-shell-theme.gresource

In questo post di AskUbuntu, in cui un'utente chiedeva come poter cambiare la schermata di login di Ubuntu
how to change login screen theme or background in 20-04

è presente uno script python che permette di scompattare il file binario, apportare le modifiche al file css del tema, e infine ricompattarlo
gnome-shell-3-helper

Io mi sono limitato a lanciare i comandi dello script con le opportune modifiche e sostituire il file che si trova in /usr/share/gnome-shell/theme/Yaru con il file ricompilato rinominandolo gnome-shell-theme.gresource.
Non penso sia la soluzione più fine e adatta (magari al primo aggiornamento del tema Yaru torna tutto come prima).
Però è fattibile.
Naturalmente, io ho fatto tutto su virtual machine quindi se spaccavo qualcosa, pazienza :

[frapox]

ok... non è impossibile, è solo molto scomodo.

[-Riker-]

Ciao, su https://extensions.gnome.org/ c'è un'estensione che si chiama TaskBar 2020 si può modificare qualcosa nella top bar, c'ho smanettato poco ma ho visto che si può ingrandire tutto quello che c'è all'interno compreso le icone che vuoi tu. Provala e vedi se risolvi

[pistorius08]

non so se c'è anche per gnome io uso xfce, ne puoi usare quante ne vuoi, questa è quella bassa, si chiama pannello

questa è quella superiore anche se io non la uso così grande

[Dayro]

Ciao, su https://extensions.gnome.org/ c'è un'estensione che si chiama TaskBar 2020 si può modificare qualcosa nella top bar, c'ho smanettato poco ma ho visto che si può ingrandire tutto quello che c'è all'interno compreso le icone che vuoi tu. Provala e vedi se risolvi

Confermo che l'estensione Taskbar 2020 funziona su Ubuntu 20.04

Bel colpo -Riker-

[frapox]

Ringrazio anch'io -Riker-, ho scoperto una cosa nuova che non sapevo su Gnome.

[-Riker-]

Grazie ragazzi sono contento che la mia info è stata di aiuto per qualcuno speriamo che Sevin riesca a risolvere

[Sevin]

non so se c'è anche per gnome io uso xfce, ne puoi usare quante ne vuoi, questa è quella bassa, si chiama pannello
1.png
questa è quella superiore anche se io non la uso così grande
1.png

Erano svariati anni che usavo XFCE e ho voluto provare a passare a GNOME; so che il pannello di XFCE è totalmente e liberamente configurabile.
Ora provo Taskbar 2020

[Sevin]

Taskbar 2020 sembra davvero simpatica e c'ho giocato un po' ieri.... solo che oggi, al riavvio, sia MEGA che Dropbox non mi compaiono (MEGA mi dice che non c'è spazio per le icone....)

UPDATE
le icone (dropbox e MEGA) sono tornate, sono legate all'estensione Ubuntu AppIndicators