[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#62029: 29.0.60; Allow users to customize eldoc buffer separator
From: |
Dmitry Gutov |
Subject: |
bug#62029: 29.0.60; Allow users to customize eldoc buffer separator |
Date: |
Tue, 18 Apr 2023 03:47:41 +0300 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.10.0 |
On 14/04/2023 03:04, João Távora wrote:
[ BTW, today I've pushed a Flymake feature
flymake-show-diagnostics-at-end-of-line that puts diagnostics "closer to
the input" (though not via Eldoc, of course) ]
Now that it's merged, though, I think it does look pretty cool.
Here is a minor suggestion:
diff --git a/lisp/progmodes/flymake.el b/lisp/progmodes/flymake.el
index b744a717c5c..31418895da1 100644
--- a/lisp/progmodes/flymake.el
+++ b/lisp/progmodes/flymake.el
@@ -447,7 +447,7 @@ flymake-note-echo
:package-version '(Flymake . "1.3.4"))
(defface flymake-end-of-line-diagnostics-face
- '((t :height 0.7 :box (:line-width 1)))
+ '((t :height 0.9 :box (:line-width (1 . -1))))
"Face used for end-of-line diagnostics.
See variable `flymake-show-diagnostics-at-end-of-line'."
:package-version '("Flymake" . "1.3.5"))
The negative width stops the line height from shifting, and the increase
in font size is definitely subjective, but 0.7 really looked too small here.
- bug#62029: 29.0.60; Allow users to customize eldoc buffer separator, (continued)
- bug#62029: 29.0.60; Allow users to customize eldoc buffer separator, Dmitry Gutov, 2023/04/13
- bug#62029: 29.0.60; Allow users to customize eldoc buffer separator, Dmitry Gutov, 2023/04/13
- bug#62029: 29.0.60; Allow users to customize eldoc buffer separator, João Távora, 2023/04/13
- bug#62029: 29.0.60; Allow users to customize eldoc buffer separator, Dmitry Gutov, 2023/04/13
- bug#62029: 29.0.60; Allow users to customize eldoc buffer separator, João Távora, 2023/04/13
- bug#62029: 29.0.60; Allow users to customize eldoc buffer separator, Dmitry Gutov, 2023/04/14
- bug#62029: 29.0.60; Allow users to customize eldoc buffer separator, João Távora, 2023/04/15
- bug#62029: 29.0.60; Allow users to customize eldoc buffer separator,
Dmitry Gutov <=
- bug#62029: 29.0.60; Allow users to customize eldoc buffer separator, João Távora, 2023/04/18
- bug#62029: 29.0.60; Allow users to customize eldoc buffer separator, Dmitry Gutov, 2023/04/18