[Top][All Lists]

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

Re: fringe bugs and issues (and a couple display margin bugs)

From: Richard Stallman
Subject: Re: fringe bugs and issues (and a couple display margin bugs)
Date: Thu, 24 Jan 2002 23:21:30 -0700 (MST)

The usual way to specify display margins is to set the buffer-local
variables left-margin-width and right-margin-width.

Perhaps fringes should be enabled and disabled similarly.

    For example, if we imagine using the display margin to show some nice
    icons in gud-mode (e.g. break-points), then I would see the display
    margins as a requirement of the gud-mode buffer, rather than the
    specific window in which it is shown.

At present, anything that appears in the display margins is tied to
specific text in the buffer.  I can't see how it would be useful to
display anything about breakpoints that way in GUD mode.  You can't
use display margins as a vertical toolbar.

This might seem like a quibble, but the point is that when thinking
about how to handle display margins, we need to think of uses for
which they would actually do the right thing, not everything that you
could imagine displaying at the side of a window.

reply via email to

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