Blog Linux Avante

Corrigir a extensão do indicador do Media Player - controles / texto desalinhados no Gnome Shell 3.28

7 de junho de 2018

Eu gosto de ter os controles do aplicativo de música na barra superior do Gnome Shell para que eu possa controlar facilmente qualquer aplicativo de música que estou usando sem alternar constantemente entre as janelas, então instalei o popular Media Player Indicator, extensão para Gnome Shell, em meu sistema Ubuntu 18.04.

Mas os widgets da extensão (o texto, controles do player e assim por diante) exibidos na barra superior do Gnome Shell parecem muito feios e desalinhados/fora do lugar. Parece que isso acontece devido a uma mudança no Gnome Shell 3.28, e o desenvolvedor da extensão ainda precisa corrigir esse problema.

Já existe uma correção disponível que pode ser facilmente aplicada.

É assim que o Media Player Indicator se parece no Ubuntu 18.04 com Gnome Shell 3.28 sem a correção que mencionei:

Bug do Media Player Indicator Gnome 3.28

Esta é a aparência da extensão Media Player Indicator após aplicar a correção:

Media Player Indicator extension controla css fix

Para corrigir a aparência do indicador do Media Player com Gnome Shell 3.28, abra o Nautilus e navegue até ~/.local/share/gnome-shell/extensions/mediaplayer@patapon.info/ (você pode pressionar Ctrl + L no Nautilus e colar este endereço na barra de endereços) e abra o arquivo stylesheet.css com um editor de texto.

Na parte inferior do arquivo stylesheet.css (não altere/remova mais nada), cole a seguinte correção CSS:

/* fix for player controls / text not being centered in Gnome Shell 3.28+ */
.aggregate-menu .popup-sub-menu > * > * > :first-child,
.aggregate-menu .popup-sub-menu > * > * > :last-child > :first-child,
.aggregate-menu .popup-sub-menu > * > * > :last-child > :first-child > :first-child
{
    margin: 0; padding: 0;
}
/* end fix for player controls / text not being centered in Gnome Shell 3.28+ */

Salve o arquivo, reinicie o Gnome Shell (pressione Alt + F2 e digite r, depois pressione Enter, ou saia e faça login novamente) e a extensão Media Player Indicator para Gnome Shell não deve mais estar desalinhada/fora do lugar.

Créditos: IBBoard.

Confira a versão original desse post em inglês
Propaganda
Blog Comments powered by Disqus.