[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: |
Fri, 13 Nov 2015 10:40:07 +0200 |
> From: Joost Kremers <address@hidden>
> Cc: martin rudalics <address@hidden>, address@hidden
> Date: Thu, 12 Nov 2015 22:38:38 +0100
>
> > I'm not sure margins should be auto-adjusted at all. Whatever
> > application sets up those margins, they most probably need all that
> > space, and Emacs should not second guess such applications. For
> > example, linum-mode sets the margin just wide enough to display the
> > longest line number; make the margin smaller, and the numbers will be
> > truncated. That's a bug in my book.
>
> Perhaps what is needed is for a mode that uses the margins to be able to
> specify a minimum size for them, so that a window-resize can take that
> into account. That would allow other modes to use the margin flexibly.
If we are talking about the needs of window-resize, then let's think
in terms of that function's needs. How about if a window or a buffer
could specify the minimum width of its text body, and window-resize
could then use that information when it decides how to split?
- Window splitting issues with margins, Joost Kremers, 2015/11/12
- Re: Window splitting issues with margins, martin rudalics, 2015/11/12
- Re: Window splitting issues with margins, Eli Zaretskii, 2015/11/12
- 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 <=
- 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, 2015/11/16