GNU bug report logs - #61072
How to change the length of the separation lines in eldoc, used by eglot?

Previous Next

Full log

Message #47 received at 61072 <at> debbugs.gnu.org (full text, mbox):

From: Felician Nemeth <felician.nemeth <at> gmail.com>
To: João Távora <joaotavora <at> gmail.com>
Cc: 61072 <at> debbugs.gnu.org, Yuan Fu <casouri <at> gmail.com>,
 Wei-Ting Lin <linwaytin <at> gmail.com>
Subject: Re: bug#61072: How to change the length of the separation lines in
 eldoc, used by eglot?
Date: Wed, 29 Mar 2023 19:48:42 +0200

João Távora <joaotavora <at> gmail.com> writes:

>> Sure, but can a better markdown.el solve the original issue?  Is there a
>> way to render a separation line independently of the current
>> window-width?
>
> Yes, there is, with just the same code we use in eldoc now to separate
> documentation from different backends.
>
>    (concat "\n" (propertize "\n" 'face '(:inherit separator-line :extend
>    t)) "\n")

Surprisingly, this does not work in the *scratch* buffer.  It does work
in a non elisp-mode buffer.  I wonder why.

make-separator-line is a bit more complicated than the code above.
Would it make sense to use that when it's available? (I.e., Emacs 29 and
above.)

> I've mailed Jason Blevins, markdown.el maintainer but he hasn't
> responded.  Maybe make a bug report in the Github repo.

Yuan Fu (CC'd) has already made one:
https://github.com/jrblevin/markdown-mode/issues/753

> But window-width independence doesn't end there.  A proper renderer
> would probably remove hard new lines in markdown paragraphs, so that
> text can be wrapped automatically to windows with visual-line-mode does.
> Or another way to get the same effect.

I'd say let's take baby steps.

Felicián

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.