[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: face vs. mouse-face text property
From: |
Stefan Monnier |
Subject: |
Re: face vs. mouse-face text property |
Date: |
Mon, 23 Jan 2012 10:34:10 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.0.92 (gnu/linux) |
>>> Therefore, I think if we want to be able to display selectable
>>> newlines, we need to have a special way to display such newlines,
>>> e.g. "<NL>" or some such.
>> I'd suggest \n rather than <NL>, since it's already used at many other
>> places in Emacs (tho it's not often visible to the "end user").
> Why not show "\n" with a special background face?
Which part of (propertize "\\n" 'face 'escape-glyph) makes you think
that we wouldn't want to show \n with a special background face?
Stefan
- face vs. mouse-face text property, Michael Heerdegen, 2012/01/18
- Re: face vs. mouse-face text property, Chong Yidong, 2012/01/19
- Re: face vs. mouse-face text property, Eli Zaretskii, 2012/01/19
- Re: face vs. mouse-face text property, Michael Heerdegen, 2012/01/20
- Re: face vs. mouse-face text property, Eli Zaretskii, 2012/01/21
- Re: face vs. mouse-face text property, Michael Heerdegen, 2012/01/22
- Re: face vs. mouse-face text property, Eli Zaretskii, 2012/01/23
- Re: face vs. mouse-face text property, Stefan Monnier, 2012/01/23
- Re: face vs. mouse-face text property, Lennart Borgman, 2012/01/23
- Re: face vs. mouse-face text property,
Stefan Monnier <=
- Re: face vs. mouse-face text property, Lennart Borgman, 2012/01/23
- Re: face vs. mouse-face text property, chad, 2012/01/23
- Re: face vs. mouse-face text property, Eli Zaretskii, 2012/01/23
- Re: face vs. mouse-face text property, chad, 2012/01/23
- Re: face vs. mouse-face text property, Eli Zaretskii, 2012/01/23
- Re: face vs. mouse-face text property, Eli Zaretskii, 2012/01/24
- Re: face vs. mouse-face text property, chad, 2012/01/24
- Re: face vs. mouse-face text property, Eli Zaretskii, 2012/01/24
- Re: face vs. mouse-face text property, chad, 2012/01/24
- Re: face vs. mouse-face text property, Stefan Monnier, 2012/01/24