[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Using defcustom to set width and height for set-window-scroll-bars
|
From: |
Po Lu |
|
Subject: |
Re: Using defcustom to set width and height for set-window-scroll-bars |
|
Date: |
Tue, 14 May 2024 21:33:58 +0800 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
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.
- Re: Using defcustom to set width and height for set-window-scroll-bars, (continued)
- Re: Using defcustom to set width and height for set-window-scroll-bars, Eli Zaretskii, 2024/05/14
- Re: Using defcustom to set width and height for set-window-scroll-bars, Heime, 2024/05/14
- Re: Using defcustom to set width and height for set-window-scroll-bars, Eli Zaretskii, 2024/05/14
- Re: Using defcustom to set width and height for set-window-scroll-bars, Heime, 2024/05/14
- Re: Using defcustom to set width and height for set-window-scroll-bars, Eli Zaretskii, 2024/05/14
- Re: Using defcustom to set width and height for set-window-scroll-bars, Heime, 2024/05/14
- Re: Using defcustom to set width and height for set-window-scroll-bars, Eli Zaretskii, 2024/05/14
- Re: Using defcustom to set width and height for set-window-scroll-bars,
Po Lu <=
- Re: Using defcustom to set width and height for set-window-scroll-bars, Heime, 2024/05/14
- Re: Using defcustom to set width and height for set-window-scroll-bars, Eli Zaretskii, 2024/05/14
- Re: Using defcustom to set width and height for set-window-scroll-bars, Heime, 2024/05/14
- Re: Using defcustom to set width and height for set-window-scroll-bars, Eli Zaretskii, 2024/05/14
- How to tell if Emacs's built with GTK? [was: Using defcustom to set width and height for set-window-scroll-bars], Pierre Rouleau, 2024/05/14
- Re: How to tell if Emacs's built with GTK? [was: Using defcustom to set width and height for set-window-scroll-bars], Eli Zaretskii, 2024/05/14
- Re: How to tell if Emacs's built with GTK? [was: Using defcustom to set width and height for set-window-scroll-bars], Pierre Rouleau, 2024/05/14
- Re: How to tell if Emacs's built with GTK? [was: Using defcustom to set width and height for set-window-scroll-bars], Eli Zaretskii, 2024/05/14
- Re: How to tell if Emacs's built with GTK? [was: Using defcustom to set width and height for set-window-scroll-bars], Pierre Rouleau, 2024/05/14
- Re: How to tell if Emacs's built with GTK? [was: Using defcustom to set width and height for set-window-scroll-bars], Eli Zaretskii, 2024/05/14