On 10 July 2015 at 21:40, Colomban Wendling <[email protected]> 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 > [email protected] > https://lists.geany.org/cgi-bin/mailman/listinfo/users _______________________________________________ Users mailing list [email protected] https://lists.geany.org/cgi-bin/mailman/listinfo/users
