[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Improving Scroll Bar Tools
From: |
Eli Zaretskii |
Subject: |
Re: Improving Scroll Bar Tools |
Date: |
Sun, 12 May 2024 18:01:44 +0300 |
> Date: Sun, 12 May 2024 13:51:47 +0000
> From: Heime <heimeborgia@protonmail.com>
> Cc: help-gnu-emacs@gnu.org
>
> On Sunday, May 12th, 2024 at 6:08 PM, Eli Zaretskii <eliz@gnu.org> wrote:
>
> > No, I don't agree. The commands and features implemented by such a
> > package should be able to take care of that without relying on the
> > user's memory. The infrastructure exists already, for example in the
> > form of scroll-bar-mode-hook and its ilk.
>
> My point was identical - the package should take care of things without
> relying upon the user's memory. I tried using my memory and it was awful.
>
> How can a package know whether a window-specific setting was introduced by
> set-window-scroll-bars ?
By looking at the value returned by window-scroll-bars.
> Would you be kind enough to show the specific use of scroll-bar-mode-hook and
> its ilk for the purpose you have in mind, so I can develop it ?
Sorry, I don't have time (and I don't really know what you'd like to
do when frame's scroll-bars are changed). I can describe the idea: in
the hook function use set-window-scroll-bars to change the
window-specific scroll bars according to what you want.
- Re: Improving Scroll Bar Tools, (continued)
- Re: Improving Scroll Bar Tools, Eli Zaretskii, 2024/05/11
- Re: Improving Scroll Bar Tools, Heime, 2024/05/11
- Re: Improving Scroll Bar Tools, Eli Zaretskii, 2024/05/11
- Re: Improving Scroll Bar Tools, Heime, 2024/05/11
- Re: Improving Scroll Bar Tools, Eli Zaretskii, 2024/05/12
- Re: Improving Scroll Bar Tools, Heime, 2024/05/12
- Re: Improving Scroll Bar Tools,
Eli Zaretskii <=
- Re: Improving Scroll Bar Tools, Heime, 2024/05/12
- Re: Improving Scroll Bar Tools, Eli Zaretskii, 2024/05/12
- Re: Improving Scroll Bar Tools, Heime, 2024/05/12
- Re: Improving Scroll Bar Tools, Eli Zaretskii, 2024/05/12
Re: Improving Scroll Bar Tools, Jean Louis, 2024/05/15