[Geany-Users] scroll bar width - regarding

Colomban Wendling lists.ban at xxxxx
Fri Jul 10 12:56:09 UTC 2015

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):

	widget "*.Scintilla.GtkScrollbar" ...;

	Scintilla GtkScrollbar { ... }


More information about the Users mailing list