[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: quotation marks [was Re: TUTORIAL.de updated]
From: |
Paul Eggert |
Subject: |
Re: quotation marks [was Re: TUTORIAL.de updated] |
Date: |
Sun, 22 Jan 2012 00:18:21 -0800 |
User-agent: |
Mozilla/5.0 (X11; Linux i686; rv:8.0) Gecko/20111124 Thunderbird/8.0 |
On 01/21/2012 10:30 PM, Richard Stallman wrote:
> I can "deal with" nonascii characters, but some of them look rather ugly.
> Some of them cause the display to get out of whack, probably due to
> mismatch between how wide they really display and how wide Emacs thinks
> they are.
That shouldn't happen with the quote characters we're talking about,
at least, it shouldn't happen on properly-configured platforms that
are commonly used today.
> Can you please send me a message containing the character proposed for this?
Sure:
‘foo’ -- directed single quotation marks (U+2018, U+2019)
“foo” -- directed double quotation marks (U+201C, U+201D)
If you're running a GNU/Linux distribution that works like Ubuntu,
and you're on the Linux console, the following shell commands
are meeded to configure the system properly for these characters.
export LC_ALL=en_US.utf8
setupcon
- Re: quotation marks [was Re: TUTORIAL.de updated], (continued)
- Re: quotation marks [was Re: TUTORIAL.de updated], Richard Stallman, 2012/01/22
- Re: quotation marks [was Re: TUTORIAL.de updated], Paul Eggert, 2012/01/22
- Re: quotation marks [was Re: TUTORIAL.de updated], Alan Mackenzie, 2012/01/22
- Re: quotation marks [was Re: TUTORIAL.de updated], James Cloos, 2012/01/22
- Re: quotation marks [was Re: TUTORIAL.de updated], Eli Zaretskii, 2012/01/21
- Re: quotation marks [was Re: TUTORIAL.de updated], Richard Stallman, 2012/01/22
- Re: quotation marks [was Re: TUTORIAL.de updated],
Paul Eggert <=
- Re: quotation marks [was Re: TUTORIAL.de updated], Stephen J. Turnbull, 2012/01/22
- Re: quotation marks [was Re: TUTORIAL.de updated], Paul Eggert, 2012/01/22
- Re: quotation marks [was Re: TUTORIAL.de updated], Alan Mackenzie, 2012/01/22
- Re: quotation marks [was Re: TUTORIAL.de updated], Paul Eggert, 2012/01/22
- Re: quotation marks [was Re: TUTORIAL.de updated], Stephen J. Turnbull, 2012/01/22
- Re: quotation marks [was Re: TUTORIAL.de updated], Lars Magne Ingebrigtsen, 2012/01/22
- Re: quotation marks [was Re: TUTORIAL.de updated], Eli Zaretskii, 2012/01/22
- Re: quotation marks [was Re: TUTORIAL.de updated], Teemu Likonen, 2012/01/22
- Re: quotation marks [was Re: TUTORIAL.de updated], Richard Stallman, 2012/01/23
- Re: quotation marks, Ulrich Mueller, 2012/01/20