[Geany-Users] scroll bar width - regarding

[Colomban Wendling]

Le 10/07/2015 13:52, Lex Trotman a écrit :
> On 10 July 2015 at 21:40, Colomban Wendling <lists.ban at 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