[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#15155: 24.3; wrap-prefix in adaptive-wrap-prefix-mode with variable-
From: |
Frank Fischer |
Subject: |
bug#15155: 24.3; wrap-prefix in adaptive-wrap-prefix-mode with variable-pitch has wrong face |
Date: |
Fri, 23 Aug 2013 17:17:59 +0200 |
Am Fri, 23 Aug 2013 17:29:37 +0300
schrieb Eli Zaretskii <eliz@gnu.org>:
> > That patch seems to work, thank you.
>
> Thanks, committed as trunk revision 113979.
Cool!
> I think your analysis is correct. Perhaps invoking font-lock to
> fontify the appropriate portion of the text, before taking the prefix
> string, will solve that?
>
> > Perhaps this is a more an issue of adaptive-wrap-mode, I
> > don't know.
>
> I think it is indeed an issue with adaptive-wrap-mode.
Yes, it seems to work. I used the attached patch for adaptive-wrap.el
(although I do not know if this is the correct way to do because
I'm not really familiar with font-lock), it just works for me.
Thanks again
Frank
adaptive-wrap.patch
Description: Text Data
- bug#15155: 24.3; wrap-prefix in adaptive-wrap-prefix-mode with variable-pitch has wrong face, (continued)
- bug#15155: 24.3; wrap-prefix in adaptive-wrap-prefix-mode with variable-pitch has wrong face, Frank Fischer, 2013/08/22
- bug#15155: 24.3; wrap-prefix in adaptive-wrap-prefix-mode with variable-pitch has wrong face, Eli Zaretskii, 2013/08/22
- bug#15155: 24.3; wrap-prefix in adaptive-wrap-prefix-mode with variable-pitch has wrong face, Frank Fischer, 2013/08/22
- bug#15155: 24.3; wrap-prefix in adaptive-wrap-prefix-mode with variable-pitch has wrong face, Eli Zaretskii, 2013/08/22
- bug#15155: 24.3; wrap-prefix in adaptive-wrap-prefix-mode with variable-pitch has wrong face, Frank Fischer, 2013/08/22
- bug#15155: 24.3; wrap-prefix in adaptive-wrap-prefix-mode with variable-pitch has wrong face, Eli Zaretskii, 2013/08/22
- bug#15155: 24.3; wrap-prefix in adaptive-wrap-prefix-mode with variable-pitch has wrong face, Frank Fischer, 2013/08/22
- bug#15155: 24.3; wrap-prefix in adaptive-wrap-prefix-mode with variable-pitch has wrong face, Eli Zaretskii, 2013/08/23
- bug#15155: 24.3; wrap-prefix in adaptive-wrap-prefix-mode with variable-pitch has wrong face, Frank Fischer, 2013/08/23
- bug#15155: 24.3; wrap-prefix in adaptive-wrap-prefix-mode with variable-pitch has wrong face, Eli Zaretskii, 2013/08/23
- bug#15155: 24.3; wrap-prefix in adaptive-wrap-prefix-mode with variable-pitch has wrong face,
Frank Fischer <=
- bug#15155: 24.3; wrap-prefix in adaptive-wrap-prefix-mode with variable-pitch has wrong face, Stefan Monnier, 2013/08/23
- bug#15155: 24.3; wrap-prefix in adaptive-wrap-prefix-mode with variable-pitch has wrong face, Frank Fischer, 2013/08/24
- bug#15155: 24.3; wrap-prefix in adaptive-wrap-prefix-mode with variable-pitch has wrong face, Stefan Monnier, 2013/08/26
- bug#15155: 24.3; wrap-prefix in adaptive-wrap-prefix-mode with variable-pitch has wrong face, Stefan Monnier, 2013/08/23
- bug#15155: 24.3; wrap-prefix in adaptive-wrap-prefix-mode with variable-pitch has wrong face, Stefan Monnier, 2013/08/22
- bug#15155: 24.3; wrap-prefix in adaptive-wrap-prefix-mode with variable-pitch has wrong face, Eli Zaretskii, 2013/08/22
bug#15155: 24.3; wrap-prefix in adaptive-wrap-prefix-mode with variable-pitch has wrong face, Eli Zaretskii, 2013/08/22