[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Info-mode-font-lock-keywords: Fix-regexp
|
From: |
Vaidheeswaran C |
|
Subject: |
Re: [PATCH] Info-mode-font-lock-keywords: Fix-regexp |
|
Date: |
Mon, 01 Jun 2015 12:58:07 +0530 |
|
User-agent: |
Mozilla/5.0 (X11; Linux i686; rv:31.0) Gecko/20100101 Icedove/31.3.0 |
On Monday 01 June 2015 09:57 AM, Stefan Monnier wrote:
>>>>> >>> > - '(("€˜\\([^€™]*\\)€™" (1 'Info-quoted))))
>>>>> >>> > + '(("`\\([^€™]*\\)€™" (1 'Info-quoted))))
>>>>> >>> > Fontification happens fine with the attached change.
>>> >> What exactly do you mean by that? Which problem is that supposed
>>> >> to fix?
>> > PS: Mixing "courier" fonts with the default font seems
>> > is...Uhh (atleast to my eyes)
I want the Info buffer to be colorized, so that I have enough visual
clues to skim it quickly. Some feedback...
1. Info-quoted should be lower-cased, I think
| 13 matches for "\_<defface\_>" in buffer: info.el
| 69:(defface info-node
| 76:(defface info-title-1
| 86:(defface info-title-2
| 93:(defface info-title-3
| 100:(defface info-title-4
| 107:(defface info-menu-header
| 117:(defface info-menu-star
| 124:(defface info-xref
| 129:(defface info-xref-visited
| 158:(defface info-header-xref
| 163:(defface info-header-node
| 168:(defface info-index-match
| 4217:(defface Info-quoted
2. Change the default value of Info-quoted in following ways:
a) __inherit__ from a face like `font-lock-function-name-face'.
b) Reconsider the use of courier family.
(a) above will ensure colorization (by default).
3. Recommend that newer Emacs be compiled with texinfo-5. (Please
ignore, if such recommendation already exists)