Re: Using defcustom to set width and height for set-window-scroll-bars

[Heime]

On Wednesday, May 15th, 2024 at 1:33 AM, Po Lu <luangruo@yahoo.com> wrote:

> Eli Zaretskii eliz@gnu.org writes:
> 
> > > Date: Tue, 14 May 2024 11:14:59 +0000
> > > From: Heime heimeborgia@protonmail.com
> > > Cc: Eli Zaretskii eliz@gnu.org, help-gnu-emacs@gnu.org
> > > 
> > > Is defcustom with ":type 'integer", the right thing to do in order to 
> > > allow
> > > users to customise width and height ?
> > 
> > If you want them to be able to specify values that are not numbers,
> > then no.
> 
> 
> GTK builds don't implement the scroll-bar-width or scroll-bar-height
> parameters, and as usual, through no fault of our own.

I can see change in sizes though with smaller values.  Could you put brief 
comments about the width and height limitations emanating from GTK builds.

Users get the impression that one can change the values to their choice.

One could say that set-window-scroll-bars includes features introduced 
without looking deeper in GTK implementations.