[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Window splitting issues with margins
From: |
Eli Zaretskii |
Subject: |
Re: Window splitting issues with margins |
Date: |
Mon, 16 Nov 2015 17:53:27 +0200 |
> From: Joost Kremers <address@hidden>
> Date: Sat, 14 Nov 2015 21:34:09 +0100
> Cc: martin rudalics <address@hidden>, address@hidden
>
> It's just that I think both issues could be solved by the same
> mechanism: allowing a (minor) mode to lock the margins to a certain
> minimum width. window-splittable-p could then assume that those parts of
> the margins that are not locked can be reduced along with the text area,
> unlike now, where the underlying assumption seems to be that if the
> margins are > 0, there's probably a reason for it and they shouldn't be
> reduced.
>
> At the same time, it would allow linum-mode and writeroom-mode to play
> nice together: instead of setting the margin to the size it requires for
> line numbers, linum-mode could set a minimum size, allowing other
> packages to make them wider. writeroom-mode then would not be allowed to
> set margins to less than the minimum size.
But this will only work in a very special case: when only one mode
actually displays something in the margin. Once another mode wants to
put something there, all bets are off. Right?
- Re: Window splitting issues with margins, (continued)
- Re: Window splitting issues with margins, Eli Zaretskii, 2015/11/13
- Re: Window splitting issues with margins, martin rudalics, 2015/11/13
- Re: Window splitting issues with margins, Eli Zaretskii, 2015/11/13
- Re: Window splitting issues with margins, martin rudalics, 2015/11/13
- Re: Window splitting issues with margins, Eli Zaretskii, 2015/11/13
Re: Window splitting issues with margins, Joost Kremers, 2015/11/12
- Re: Window splitting issues with margins, martin rudalics, 2015/11/13
- Re: Window splitting issues with margins, Eli Zaretskii, 2015/11/13
- Re: Window splitting issues with margins, martin rudalics, 2015/11/13
- Re: Window splitting issues with margins, Joost Kremers, 2015/11/16
- Re: Window splitting issues with margins,
Eli Zaretskii <=
- Re: Window splitting issues with margins, Joost Kremers, 2015/11/16
- Re: Window splitting issues with margins, martin rudalics, 2015/11/16
- Re: Window splitting issues with margins, Joost Kremers, 2015/11/16
- Re: Window splitting issues with margins, martin rudalics, 2015/11/17
- Re: Window splitting issues with margins, Joost Kremers, 2015/11/19
- Re: Window splitting issues with margins, martin rudalics, 2015/11/20
- Re: Window splitting issues with margins, Joost Kremers, 2015/11/25
Re: Window splitting issues with margins, Joost Kremers, 2015/11/24
Re: Window splitting issues with margins, martin rudalics, 2015/11/24
Re: Window splitting issues with margins, Joost Kremers, 2015/11/25