
Como posso alterar a largura da barra de rolagem no KDE Plasma 5.9.4 no Ubuntu 17.04?
A Application Style
caixa de diálogo não contém mais essa configuração.
Responder1
No KUbuntu 20.04 descobri alterando alguns números em:/usr/share/themes/Breeze/gtk-3.0
No final, no meu caso, as linhas começando na linha 38456 resolveram meu problema.
scrollbar trough {
transition-duration: 0.1s;
min-width: 20px;
}
e
scrollbar:hover trough {
background-color: mix(@theme_unfocused_bg_color,@theme_unfocused_fg_color,0.7);
min-width: 18px;
}
scrollbar:hover slider {
min-width: 18px;
}
Responder2
Não sei sobre o 17.04, mas no 18.04 você pode selecionar o estilo Oxygen, que possui uma configuração para a largura da barra de rolagem. O Breeze padrão não.
Para aplicativos gtk, criei meu próprio tema em ~/.themes baseado em um existente em /usr/share/themes e modifiquei gtk.css 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 um pouco a largura mínima na seção Barras de rolagem e, opcionalmente, o raio da borda. Na versão 3.18 e anteriores você tem que aumentar as dimensões de estiramento para muitos elementos, no mesmo arquivo.
Ainda assim, gostaria que os desenvolvedores usassem pelo menos 20 pixels para uma barra de rolagem por padrão, não é muito além de 1920 pixels e esses pixels são bem gastos...