[Geany-Users] scroll bar width - regarding

Lex Trotman elextr at xxxxx
Fri Jul 10 11:52:51 UTC 2015

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?

> Cheers,
> Colomban
> _______________________________________________
> Users mailing list
> Users at lists.geany.org
> https://lists.geany.org/cgi-bin/mailman/listinfo/users

More information about the Users mailing list