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. Cheers, Colomban _______________________________________________ Users mailing list [email protected] https://lists.geany.org/cgi-bin/mailman/listinfo/users
