☰

¿Cómo cambiar el ancho de la barra de desplazamiento de KDE Plasma?

tag-icon • tag-icon plasma-5 scrollbar
¿Cómo cambiar el ancho de la barra de desplazamiento de KDE Plasma?

¿Cómo puedo cambiar el ancho de la barra de desplazamiento en KDE Plasma 5.9.4 en Ubuntu 17.04?

El Application Stylecuadro de diálogo ya no contiene esta configuración.

Respuesta1

En KUbuntu 20.04 encontré cambiando algunos números en:/usr/share/themes/Breeze/gtk-3.0

Hacia el final, en mi caso, las líneas que comienzan en la línea 38456 solucionaron mi problema.

scrollbar trough {
    transition-duration: 0.1s;
    min-width: 20px;
}

y

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;
}

Respuesta2

No sé sobre 17.04, pero en 18.04 puedes seleccionar el estilo Oxygen, que tiene una configuración para el ancho de la barra de desplazamiento. El Breeze predeterminado no lo hace.

Para las aplicaciones gtk, creé mi propio tema en ~/.themes basado en uno existente en /usr/share/themes y modifiqué gtk.css para agrandar la barra de desplazamiento. Esto es más fácil con gtk-3.20 que con versiones anteriores, sólo tienes que aumentar un poco de ancho mínimo en la sección Barras de desplazamiento y, opcionalmente, el radio del borde. En 3.18 y versiones anteriores hay que aumentar las dimensiones de estiramiento para muchos elementos, en el mismo archivo.

Aún así, desearía que los desarrolladores usaran al menos 20 píxeles para una barra de desplazamiento de forma predeterminada, no es demasiado de 1920 píxeles y estos son píxeles bien gastados...

información relacionada