[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: PATCH: make linum.el play nicely with other margin-setting extension
From: |
Eli Zaretskii |
Subject: |
Re: PATCH: make linum.el play nicely with other margin-setting extensions |
Date: |
Thu, 12 Nov 2015 18:24:17 +0200 |
> From: address@hidden (João Távora)
> Date: Thu, 12 Nov 2015 12:23:02 +0000
>
> The problem popped up in darkroom.el which is in ELPA. The margins
> aren't correctly in any situation intermingling calls to M-x linum-mode
> and M-x darkroom-mode.
>
> This patch to linum.el appears to work nicely, and probably fixes stuff
> for other margin-setting extensions, but I'd like a review from the
> maintainer or someone else more knowledgeable:
Thanks.
I'm not familiar with darkroom-mode. Can you tell in more detail what
problem your patch attempts to solve?
- PATCH: make linum.el play nicely with other margin-setting extensions, João Távora, 2015/11/12
- Re: PATCH: make linum.el play nicely with other margin-setting extensions,
Eli Zaretskii <=
- Re: PATCH: make linum.el play nicely with other margin-setting extensions, João Távora, 2015/11/13
- Re: PATCH: make linum.el play nicely with other margin-setting extensions, Juanma Barranquero, 2015/11/13
- Re: PATCH: make linum.el play nicely with other margin-setting extensions, Eli Zaretskii, 2015/11/14
- Re: PATCH: make linum.el play nicely with other margin-setting extensions, João Távora, 2015/11/16
- Re: PATCH: make linum.el play nicely with other margin-setting extensions, Yuri Khan, 2015/11/16
- Message not available
- Message not available
- Message not available
- Message not available
- Re: PATCH: make linum.el play nicely with other margin-setting extensions, João Távora, 2015/11/16
- Re: PATCH: make linum.el play nicely with other margin-setting extensions, Eli Zaretskii, 2015/11/16
Re: PATCH: make linum.el play nicely with other margin-setting extensions, martin rudalics, 2015/11/13