Pues como bien indica el compañero, acabo de probar el advanced config. Lo he bajado de
aqui.
Se puede aumentar el tamaño de la barra vertical. Para no disminuir mucho la pantalla solamente lo he pasado de 13 a 16 pixels. Y la verdad es que mejora bastante.
Es una buena solución para salir del paso…. Aunque tener la barra a la izquierda ya será la *****.
Muchas gracias Alx por la info.