[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: makeinfo should quote 'like this' instead of `like this'
From: |
Eli Zaretskii |
Subject: |
Re: makeinfo should quote 'like this' instead of `like this' |
Date: |
Thu, 26 Jan 2012 19:09:22 +0200 |
> Date: Wed, 25 Jan 2012 14:21:42 -0800
> From: address@hidden (Karl Berry)
> CC: address@hidden
>
> 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.
I didn't mean to fix the whole world ;-) I was talking only about the
following:
> Right now, Emacs (post-21) tries to read semantics in Info files and
> remove the colons from menus, xrefs, etc., and do all manner of fontish
> things.
For these "misfeatures", doing this:
(setq Info-hide-note-references nil)
(setq Info-fontify-visited-nodes nil)
followed by "M-x font-lock-mode RET" stops Emacs from doing everything
you mentioned.
What other "fontish" annoyances do you see in Info in the current
Emacs?
- 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, 2012/01/25
- Re: makeinfo should quote 'like this' instead of `like this',
Eli Zaretskii <=
- 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', 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
- Re: makeinfo should quote 'like this' instead of `like this', Karl Berry, 2012/01/24