[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Better handling of window margins
From: |
John Wiegley |
Subject: |
Re: Better handling of window margins |
Date: |
Mon, 07 Dec 2015 09:39:34 -0800 |
User-agent: |
Gnus/5.130014 (Ma Gnus v0.14) Emacs/24.5 (darwin) |
>>>>> Stefan Monnier <address@hidden> writes:
> 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, it would be hard to object to.
--
John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2
- 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 <=
- 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, 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