[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#20674: PATCH: make linum.el play nicely with other margin-setting ex
|
From: |
Noam Postavsky |
|
Subject: |
bug#20674: PATCH: make linum.el play nicely with other margin-setting extensions |
|
Date: |
Sat, 04 Nov 2017 10:42:13 -0400 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.0.90 (gnu/linux) |
tags 20674 fixed
close 20674 26.1
quit
joaotavora@gmail.com (João Távora) writes:
> Stefan Monnier <monnier@IRO.UMontreal.CA> writes:
>
>>> YES In that case, unless someone objects (paging Stefan here), I'll be
>>> pushing my original linum.el solution soon.
>>
>> No objection here.
>
> Done in b92307f6708f9abff0b2ac242fe4b668232a9153.
>
> João
Sounds like this is fixed, or at least as fixed as it's ever going to
get; closing.
[1: b92307f670]: 2015-11-17 22:24:53 +0000
linum-mode plays more nicely with other margin-setting extensions
https://git.savannah.gnu.org/cgit/emacs.git/commit/?id=b92307f6708f9abff0b2ac242fe4b668232a9153
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#20674: PATCH: make linum.el play nicely with other margin-setting extensions,
Noam Postavsky <=