Como sabe, se puede personalizar el ancho de la barra de desplazamiento en Propiedades de pantalla -> Apariencia -> Avanzado -> Elemento: Barra de desplazamiento. El valor predeterminado es 17. Sin embargo, no puedo asumir que este es siempre el caso, ¿es posible que recupere este valor?