[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#11068: 24.0.94; Face-remapped background does not extend to end of w
From: |
martin rudalics |
Subject: |
bug#11068: 24.0.94; Face-remapped background does not extend to end of window |
Date: |
Sun, 25 Mar 2012 22:44:27 +0200 |
> Nitpick, you want (make-overlay (point-max) (point-max) nil t t) if you
> want to create an overlay "at EOB" rather than "right after the char
> which is currently at (point-max)".
In my use case I always deleted the overlay before redisplay and
recreated it anew to account for possible changes in window height.
> Cursor positioning should be
> sensitive to these kinds of stickiness details, although IIRC it
> currently isn't.
Unfortunately it isn't. I then played with all sorts of 'display
'before-string properties, arguments, and whatever I could apply
(some ten years ago).
martin
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, (continued)
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, Ivan Andrus, 2012/03/23
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, Eli Zaretskii, 2012/03/24
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, martin rudalics, 2012/03/24
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, Eli Zaretskii, 2012/03/24
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, martin rudalics, 2012/03/24
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, Eli Zaretskii, 2012/03/24
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, martin rudalics, 2012/03/25
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, Eli Zaretskii, 2012/03/25
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, martin rudalics, 2012/03/25
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, Stefan Monnier, 2012/03/25
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window,
martin rudalics <=
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, Eli Zaretskii, 2012/03/25
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, Eli Zaretskii, 2012/03/25
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, martin rudalics, 2012/03/26
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, Eli Zaretskii, 2012/03/26
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, martin rudalics, 2012/03/27
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, Eli Zaretskii, 2012/03/27
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, martin rudalics, 2012/03/30
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, Eli Zaretskii, 2012/03/30
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, martin rudalics, 2012/03/30
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, Eli Zaretskii, 2012/03/30