[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
branch scratch/eldoc-eglot-rework deleted (was 98975e233c5)
|
From: |
João Távora |
|
Subject: |
branch scratch/eldoc-eglot-rework deleted (was 98975e233c5) |
|
Date: |
Thu, 23 Mar 2023 09:57:13 -0400 (EDT) |
capitaomorte pushed a change to branch scratch/eldoc-eglot-rework.
was 98975e233c5 Have Eglot inform ElDoc about overly long 'hover' docs
This change permanently discards the following revisions:
discards 98975e233c5 Have Eglot inform ElDoc about overly long 'hover' docs
discards 607d9ce43c4 Render Eldoc's echo area separately
discards 24367a17e2a Keep information about originating backend in ElDoc doc
snippets
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- branch scratch/eldoc-eglot-rework deleted (was 98975e233c5),
João Távora <=