Le 10/07/2015 13:52, Lex Trotman a écrit :
On 10 July 2015 at 21:40, Colomban Wendling lists.ban@herbesfolles.org wrote:
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.
How do you identify them?
Either all scrollbars, or scrollbars inside scintilla. Depending on the GTK version, it'd look something roughly like that (from the top of my head, that's probably wrong):
GTK2: widget "*.Scintilla.GtkScrollbar" ...;
GTK3: Scintilla GtkScrollbar { ... }
Regards, Colomban