como alterar a largura da barra de rolagem do plasma do kde

1

Como posso alterar a largura da barra de rolagem no kde plasma 5.9.4 ubuntu 17.04. A caixa de diálogo Estilo do aplicativo não contém mais essa configuração. Eu sou velho e eles são muito pequenos.

    
por GNored 14.06.2017 / 19:35

1 resposta

0

Eu não sei sobre 17.04, mas em 18.04 você pode selecionar o estilo Oxygen, que tem uma configuração para a largura da barra de rolagem. O Breeze padrão não.

Para aplicações gtk eu criei meu próprio tema em ~ / .themes baseado em um existente em / usr / share / themes e gtk.css modificado para aumentar a barra de rolagem. Isso é mais fácil com o gtk-3.20 do que com as versões anteriores, você só precisa aumentar alguns min-width na seção Scrollbars, e opcionalmente o border-radius. No 3.18 e anteriores, você precisa aumentar as dimensões de alongamento para muitos elementos, no mesmo arquivo.

Ainda assim, eu desejo que os desenvolvedores usem pelo menos 20 pixels para uma barra de rolagem por padrão, não seja muito de 1920 pixels e esses sejam bem usados pixels ...

    
por Damien 08.05.2018 / 01:42