Re: makeinfo should quote 'like this' instead of `like this'
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
| From: | Karl Berry |
| Subject: | Re: makeinfo should quote 'like this' instead of `like this' |
| Date: | Wed, 25 Jan 2012 14:21:42 -0800 |
These "features" can be turned off with a flip of a variable or two. Please elucidate. That is not even remotely close to my experience. As you may recall from my various emacs bug reports over the last few years, I have spent many, many hours trying to turn off Emacs's newfangled colorization, use of different fonts, fancy formatting in general (in all areas), with a distinct lack of success. Info is just one of the places where the obvious things like (global-font-lock-mode -1) do not even begin to do the job. k
- makeinfo should quote 'like this' instead of `like this', Paul Eggert, 2012/01/23
- Re: makeinfo should quote 'like this' instead of `like this', Karl Berry, 2012/01/23
- Re: makeinfo should quote 'like this' instead of `like this', Paul Eggert, 2012/01/23
- Re: makeinfo should quote 'like this' instead of `like this', Patrice Dumas, 2012/01/23
- Re: makeinfo should quote 'like this' instead of `like this', Karl Berry, 2012/01/23
- Re: makeinfo should quote 'like this' instead of `like this', Per Bothner, 2012/01/23
- Re: makeinfo should quote 'like this' instead of `like this', Karl Berry, 2012/01/24
- Re: makeinfo should quote 'like this' instead of `like this', Eli Zaretskii, 2012/01/25
- Re: makeinfo should quote 'like this' instead of `like this', Karl Berry <=
- Re: makeinfo should quote 'like this' instead of `like this', Eli Zaretskii, 2012/01/26
- Re: makeinfo should quote 'like this' instead of `like this', Per Bothner, 2012/01/25
- Re: makeinfo should quote 'like this' instead of `like this', Patrice Dumas, 2012/01/25
- Re: makeinfo should quote 'like this' instead of `like this', Karl Berry, 2012/01/23
- Re: makeinfo should quote 'like this' instead of `like this', Patrice Dumas, 2012/01/25
- Re: makeinfo should quote 'like this' instead of `like this', Eli Zaretskii, 2012/01/25
- Re: makeinfo should quote 'like this' instead of `like this', Patrice Dumas, 2012/01/25
- Re: makeinfo should quote 'like this' instead of `like this', Eli Zaretskii, 2012/01/25
- Re: makeinfo should quote 'like this' instead of `like this', Patrice Dumas, 2012/01/25
- Re: makeinfo should quote 'like this' instead of `like this', Eli Zaretskii, 2012/01/25
- Re: makeinfo should quote 'like this' instead of `like this', John Darrington, 2012/01/24
- Prev by Date: Re: makeinfo should quote 'like this' instead of `like this'
- Next by Date: Re: makeinfo should quote 'like this' instead of `like this'
- Previous by thread: Re: makeinfo should quote 'like this' instead of `like this'
- Next by thread: Re: makeinfo should quote 'like this' instead of `like this'
- Index(es):