Pessoal, comprei um monitor 4k e estou finalmente me aproveitando das funções de tiling em Linux. Atualmente estou usando o Ubuntu 22.04LTS e tentei algumas extensões como o Forge, mas achei bugado.
A única extensão que realmente funcionou quase perfeitamente foi a Pop Shell, do PopOS, mas tem uma coisa que está me incomodando: o visual das abas quando eu agrupo janelas
Eu gostaria de alterar o visual dessas abas, deixar elas mais largas, com cores que correspondam ao Ubuntu, etc…
O problema é que eu simplesmente não encontro onde faço essa alteração. Já tentei alterar os arquivos .css em ~/.local/share/gnome-shell/extensions/pop-shell@system76.com/ e simplesmente não funciona…
A forma como instalei a extensão foi via Terminal, conforme as instruções no site da System76:
sudo apt install git node-typescript make gnome-shell-extension-prefs;
git clone https://github.com/pop-os/shell.git
cd shell
git checkout master_jammy
make local-install
Alguém sabe como isso pode ser modificado?
Agradeço desde já!