[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: |
Mon, 6 Mar 2023 23:56:08 -0800 |
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 ;-)
- bug#62030: 29.0.60; Allow users to customize eldoc buffer separator,
Yuan Fu <=
- bug#62030: 29.0.60; Allow users to customize eldoc buffer separator, Yuan Fu, 2023/03/07
- 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