Perguntas sobre 'gnome-tweak-tool'

Uma ferramenta para personalizar as opções avançadas do GNOME 3.
2
respostas

Onde encontrar o texto completo das opções de “digitação” no gnome-tweak-tool

Enquanto tentava mexer com minha configuração de teclado em vários idiomas quebrada por esse bug , eu tropecei novamente nesta tela na seção gnome-tweak-tool, "typing": Como você pode ver, o texto da opção está seriamente truncado e não...
23.02.2014 / 01:48
1
resposta

Como mover o painel superior para baixo no Ubuntu 15.04 com o Gnome 3.16.2? [duplicado]

Eu atualizei recentemente para o Gnome 3.16.2 (não sei qual versão eu tinha antes) e então minha extensão MMOD Panel não era mais compatível. Eu só recebo a mensagem "Não suporta versão do shell". link O mesmo vale para a extensão Configu...
04.06.2015 / 09:31
1
resposta

Substitua o Light Locker pelo protetor de tela Gnome

Houve muitos problemas relatados sobre o Light Locker. Às vezes, o bloqueio não funciona, ele bloqueia por si só quando não deveria e muitos mais. A questão principal é que o principal problema do Light Locker é que ele não mantém as configuraçõ...
02.10.2014 / 17:42
2
respostas

Como habilitar a extensão do tema shell do usuário no ultimo Ubuntu 17.10? [duplicado]

Na versão mais recente do Ubuntu, que é o Ubuntu 17.10 com ambiente de desktop padrão do GNOME, o Ubuntu desabilitou a extensão do tema do usuário na ferramenta gnome tweak. Por causa disso eu não posso mudar o tema do GNOME. Como faço para at...
20.10.2017 / 06:59
2
respostas

Por que muitas opções no gnome-tweak-tool são inacessíveis?

Quando eu executo o gnome-tweak-tool, muitas das opções estão bloqueadas. Em particular, estou falando sobre o tema do shell do gnome e as extensões do shell do gnome. Todos eles têm um ícone do tipo "aviso" com um ponto de exclamação ao lado de...
29.01.2012 / 08:27
1
resposta

Existe um equivalente do Gnome Tweak Tool para XFCE?

Eu testei o Gnome Tweak Tool no Xubuntu 16.04, mas não funcionou para os temas ou ícones. Existe um equivalente que funcionará no Xubuntu 16.04?     
01.06.2016 / 15:57
3
respostas

O gnome-shell-extensions-user-theme não será instalado devido a dependências não atendidas

Eu tenho gnome-tweak-tool install e uso regularmente. No entanto, não consigo instalar o gnome-shell-extensions-user-theme para alterar o shell. Eu já tenho o ppa mas quando ele coloca sudo apt-get instala o gnome-shell-extensions-user-the...
25.12.2011 / 18:57
2
respostas

Como reduzir o tamanho da margem / preenchimento da barra de título em massa no GNOME

Recentemente, fiz um upgrade de 15.04 para 15.10 e não acredito que as margens fossem tão ridículas, então estou pensando se algo foi redefinido / alterado. Como você pode ver, a barra superior do GNOME é de tamanho normal & amp; A barr...
30.03.2016 / 17:10
1
resposta

Como faço para definir o foco segue o mouse no Ubuntu 17.10?

Eu encontrei várias respostas no askUbuntu sobre este tópico. Mas nenhum deles inclui o Ubuntu 17.10. Então eu preciso perguntar de novo: Como faço para definir o foco após o mouse no Ubuntu 17.10?     
20.11.2017 / 13:31
3
respostas

Comportamento de foco de janela estranho com o Ubuntu 15.10 e o Gnome

Estou executando o Ubuntu 15.10 e ubuntu-gnome-desktop . Desde a atualização do 15.04, notei que, quando clico duas vezes em uma janela, essa janela parece ter foco (por exemplo, o texto e o ícone da barra superior do gnome mudam para o aplica...
12.11.2015 / 04:59