[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: address@hidden: changing line heights]
From: |
Kai Grossjohann |
Subject: |
Re: address@hidden: changing line heights] |
Date: |
Sat, 27 Sep 2003 22:20:55 +0200 |
User-agent: |
Gnus/5.1003 (Gnus v5.10.3) Emacs/21.3 (berkeley-unix) |
James Clark <address@hidden> writes:
> - One part is whether in a particular buffer 0x60/0x27 should be
> displayed so that they look like grave/vertical quote or like
> open/close quote. This is determined by mode and individual user
> preference; this problem is specific to quotes.
Maybe it is also an idea to display them thingies as open/close quote
only in cases where we know they are meant that way. One example is
in docstrings. There is highlighting in docstrings (and a hyperlink
in *Help* buffers) that kicks in for cases where the characters are
used as open/close quote.
Maybe it is strange that the same character is displayed differently
in different locations of the same file/buffer, but OTOH, font-lock is
all about doing this. It normally just changes the color or weight,
but why can't it also change the glyph if that seems to be a good
idea?
WDYT?
--
Two cafe au lait please, but without milk.
- Re: address@hidden: changing line heights], (continued)
- Re: address@hidden: changing line heights], Richard Stallman, 2003/09/25
- Re: address@hidden: changing line heights], Werner LEMBERG, 2003/09/26
- Re: address@hidden: changing line heights], James Clark, 2003/09/26
- Re: address@hidden: changing line heights], Richard Stallman, 2003/09/26
- Re: address@hidden: changing line heights], Werner LEMBERG, 2003/09/27
- Re: address@hidden: changing line heights], Richard Stallman, 2003/09/28
- Re: address@hidden: changing line heights],
Kai Grossjohann <=
- Re: address@hidden: changing line heights], Jason Rumney, 2003/09/26
- Re: address@hidden: changing line heights], James H . Cloos Jr ., 2003/09/26
Re: address@hidden: changing line heights], Kenichi Handa, 2003/09/26
Re: address@hidden: changing line heights], Richard Stallman, 2003/09/25