[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Better handling of window margins

From: Eli Zaretskii
Subject: Re: Better handling of window margins
Date: Thu, 03 Dec 2015 09:21:36 +0200

> From: Joost Kremers <address@hidden>
> Cc: address@hidden
> Date: Wed, 02 Dec 2015 20:55:34 +0100
> On Wed, Dec 02 2015, Eli Zaretskii <address@hidden> wrote:
> > The reason I don't believe in some general-purpose heuristics in this
> > case is that there's any number of possible needs of modes wrt
> > margins.  You are trying to classify these into "static" and
> > "dynamic", but the "dynamic" kind can be something very different from
> > what writeroom-mode and its ilk need in this regard.  So the
> > heuristics will fail when we have a mode whose margins are not
> > "static", but not like writeroom-mode, either.
> >
> > Does this make sense?
> To an extent, but I'm not sure what kind of uses of the margins you have
> in mind (if any). Anything concrete, or possible uses that we haven't
> thought of yet but someone someday may think of?

The suggestion was supposed to cover any and all uses of the margins.
If you can envision any uses, even theoretical, that don't fit into
the scheme I proposed, please tell.

The basic assumption was that a margin has a width, and then something
might or might not be displayed there.  I don't think there are other
possible uses: putting stuff in the margin involves a 'display'
property, so valid values of that property are the only things that
can appear in the margin.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]