|
| From: | Dmitry Gutov |
| Subject: | Re: Colorful line numbers |
| Date: | Fri, 22 Jul 2022 15:18:36 +0300 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.9.1 |
On 22.07.2022 10:50, João Távora wrote:
Was such a mechanism ever considered useful/practical/impractical?
Also see https://debbugs.gnu.org/36472.
| [Prev in Thread] | Current Thread | [Next in Thread] |