Hi!
I would like to modify the width of the horizontal and vertical scroll bars of the editor. Is there any feasibility for that in Geany.
Thanks. Rajendra
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).
Cheers Lex
On 10 July 2015 at 18:33, Rajendra Prasad fa02.mme@gmail.com wrote:
Hi!
I would like to modify the width of the horizontal and vertical scroll bars of the editor. Is there any feasibility for that in Geany.
Thanks. Rajendra
Users mailing list Users@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/users
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
On 10 July 2015 at 21:40, Colomban Wendling lists.ban@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@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/users
Le 10/07/2015 13:52, Lex Trotman a écrit :
On 10 July 2015 at 21:40, Colomban Wendling lists.ban@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