[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Better handling of window margins
From: |
Stefan Monnier |
Subject: |
Re: Better handling of window margins |
Date: |
Mon, 07 Dec 2015 13:42:37 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) |
>> Which is why I suggested we go with a purely Elisp library layed on top of
>> the current display features. That lets us play freely with various design
>> options. Contrary to the redisplay code, such a library will have to do its
>> job at the time the margin-display-properties are added to the buffer,
>> rather than at the time they're rendered on screen.
> Can this be done totally side-band, without affecting long-standing APIs? If
> it's something that could live in ELPA,
Yes, that's the idea.
Stefan
- Re: Better handling of window margins, (continued)
- Re: Better handling of window margins, John Wiegley, 2015/12/06
- Re: Better handling of window margins, Eli Zaretskii, 2015/12/07
- Re: Better handling of window margins, John Wiegley, 2015/12/07
- Re: Better handling of window margins, Achim Gratz, 2015/12/07
- Re: Better handling of window margins, John Wiegley, 2015/12/07
- Re: Better handling of window margins, Achim Gratz, 2015/12/07
- Re: Better handling of window margins, Stefan Monnier, 2015/12/07
- Re: Better handling of window margins, John Wiegley, 2015/12/07
- Re: Better handling of window margins,
Stefan Monnier <=
- Re: Better handling of window margins, John Wiegley, 2015/12/07
- Re: Better handling of window margins, martin rudalics, 2015/12/04
- Re: Better handling of window margins, Eli Zaretskii, 2015/12/04
- Re: Better handling of window margins, martin rudalics, 2015/12/04
- Re: Better handling of window margins, Eli Zaretskii, 2015/12/04
- Re: Better handling of window margins, martin rudalics, 2015/12/04
- Re: Better handling of window margins, Eli Zaretskii, 2015/12/04
- Re: Better handling of window margins, martin rudalics, 2015/12/04
- Re: Better handling of window margins, Joost Kremers, 2015/12/02
- Re: Better handling of window margins, Eli Zaretskii, 2015/12/03