[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: |
João Távora |
Subject: |
bug#20674: PATCH: make linum.el play nicely with other margin-setting extensions |
Date: |
Tue, 17 Nov 2015 22:35:39 +0000 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (darwin) |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#20674: PATCH: make linum.el play nicely with other margin-setting extensions,
João Távora <=