Le 10/07/2015 11:38, Lex Trotman a écrit :
The scroll bars on the editor are provided by the Scintilla widget (www.scintilla.org) and AFAICT it has no way to change the width of the vertical scrollbar, or the height of the horizontal scrollbar (assuming thats what you meant).
No, but those are normal GTK widgets, so theming scrollbars differently at the GTK level should do it -- given the theme can alter this, I'm not certain.
Cheers, Colomban