[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.
- Re: fringe bugs and issues (and a couple display margin bugs), (continued)
- Re: fringe bugs and issues (and a couple display margin bugs), Kim F. Storm, 2002/01/22
- Re: fringe bugs and issues (and a couple display margin bugs), Eli Zaretskii, 2002/01/23
- Re: fringe bugs and issues (and a couple display margin bugs), Alveola Petrofsky, 2002/01/23
- Re: fringe bugs and issues (and a couple display margin bugs), Eli Zaretskii, 2002/01/23
- Re: fringe bugs and issues (and a couple display margin bugs), Alveola Petrofsky, 2002/01/23
- Re: fringe bugs and issues (and a couple display margin bugs), Eli Zaretskii, 2002/01/23
- Re: fringe bugs and issues (and a couple display margin bugs), Richard Stallman, 2002/01/23
- Re: fringe bugs and issues (and a couple display margin bugs), Kim F. Storm, 2002/01/24
- Re: fringe bugs and issues (and a couple display margin bugs),
Richard Stallman <=
- Re: fringe bugs and issues (and a couple display margin bugs), Kim F. Storm, 2002/01/25
- Re: fringe bugs and issues (and a couple display margin bugs), Eli Zaretskii, 2002/01/25
- Re: fringe bugs and issues (and a couple display margin bugs), Kim F. Storm, 2002/01/25
- Re: fringe bugs and issues (and a couple display margin bugs), Eli Zaretskii, 2002/01/26
- Re: fringe bugs and issues (and a couple display margin bugs), Richard Stallman, 2002/01/26
- Re: fringe bugs and issues (and a couple display margin bugs), Eli Zaretskii, 2002/01/23
Re: fringe bugs and issues (and a couple display margin bugs), Stefan Monnier, 2002/01/22
Re: fringe bugs and issues (and a couple display margin bugs), Eli Zaretskii, 2002/01/22
Re: fringe bugs and issues (and a couple display margin bugs), Eli Zaretskii, 2002/01/22