|
| From: | Vaidheeswaran C |
| Subject: | Re: [PATCH] Info-mode-font-lock-keywords: Fix-regexp |
| Date: | Sun, 31 May 2015 09:51:38 +0530 |
| User-agent: | Mozilla/5.0 (X11; Linux i686; rv:31.0) Gecko/20100101 Icedove/31.3.0 |
On Tuesday 26 May 2015 10:38 PM, Stefan Monnier wrote:
>> (defvar Info-mode-font-lock-keywords
>> > - '(("€˜\\([^€™]*\\)€™" (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?
The patch I sent has no Euro signs. I hope my IceDove is not mangling
my patch.
| [Prev in Thread] | Current Thread | [Next in Thread] |