[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: |
Eli Zaretskii |
Subject: |
bug#15155: 24.3; wrap-prefix in adaptive-wrap-prefix-mode with variable-pitch has wrong face |
Date: |
Thu, 22 Aug 2013 21:49:25 +0300 |
> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Cc: Frank Fischer <frank.fischer@mathematik.tu-chemnitz.de>,
> 15155@debbugs.gnu.org
> Date: Thu, 22 Aug 2013 14:15:43 -0400
>
> Hmm... Eli, could it be that the redisplay ignores the face-remapping-alist
> when processing the wrap-prefix?
It does, indeed. That's the patch I wanted Frank to try.
- 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/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, 2013/08/23
- 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 <=
bug#15155: 24.3; wrap-prefix in adaptive-wrap-prefix-mode with variable-pitch has wrong face, Eli Zaretskii, 2013/08/22