[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#62030: 29.0.60; Allow users to customize eldoc buffer separator
From: |
Yuan Fu |
Subject: |
bug#62030: 29.0.60; Allow users to customize eldoc buffer separator |
Date: |
Tue, 7 Mar 2023 16:25:36 -0800 |
Yuan Fu <casouri@gmail.com> writes:
> Eldoc can combine documentation from multiple sources and display them
> together, however, if I’m not mistaken, it separates them with newline. It
> would be nice
> if users can customize the separator to be some other things, like a
> horizontal bar, eg,
>
> (setq eldoc-source-separator
> (propertize "----------"
> 'display '(space :width text)
> 'face '(:stike-through t)))
>
> Maybe even allow it to be a function so we can draw an appropriate
> number of "-" in terminals.
>
> Prompted by this report: https://github.com/casouri/eldoc-box/issues/61
>
> I can do it, if everyone agrees that this is a good idea, and can come
> up with a good name for the variable ;-)
Sorry, not sure why is the report duplicated. Closing this one.
Yuan
- bug#62030: 29.0.60; Allow users to customize eldoc buffer separator, Yuan Fu, 2023/03/07
- bug#62030: 29.0.60; Allow users to customize eldoc buffer separator,
Yuan Fu <=
- bug#62029: 29.0.60; Allow users to customize eldoc buffer separator, João Távora, 2023/03/08
- bug#62029: 29.0.60; Allow users to customize eldoc buffer separator, Yuan Fu, 2023/03/08
- bug#62029: 29.0.60; Allow users to customize eldoc buffer separator, João Távora, 2023/03/23
- bug#62029: 29.0.60; Allow users to customize eldoc buffer separator, Yuan Fu, 2023/03/23
- bug#62029: 29.0.60; Allow users to customize eldoc buffer separator, João Távora, 2023/03/24
- bug#62029: 29.0.60; Allow users to customize eldoc buffer separator, Yuan Fu, 2023/03/24
- bug#62029: 29.0.60; Allow users to customize eldoc buffer separator, João Távora, 2023/03/25
- bug#62029: 29.0.60; Allow users to customize eldoc buffer separator, Yuan Fu, 2023/03/30
- bug#62029: 29.0.60; Allow users to customize eldoc buffer separator, João Távora, 2023/03/30
- bug#62029: 29.0.60; Allow users to customize eldoc buffer separator, Yuan Fu, 2023/03/30