Opened 14 years ago

Closed 14 years ago

#346 closed defect (fixed)

Coq multiple keywords are wrongly colorized

Reported by: Erik Martin-Dorel Owned by: David Aspinall
Priority: major Milestone: PG-Emacs-4.0
Component: 2:pg-emacs Keywords:
Cc: Erik Martin-Dorel

Description

I have just noticed a bug in current font lock behavior:

When a Coq vernacular takes more than one word, it is not colorized (or badly), for instance: 

Open Scope ... (* is not colorized at all, *)

Reserved Notation ... (* has only "Notation" colorized, *)

Set Implicit Arguments. (* has only "Set" colorized, in a wrong way. *)

My System Info: GNU-Emacs-23.2.1, ProofGeneral-4.0pre100828, Coq-8.2pl2.

Kind regards, Erik Martin-Dorel.

Change History (3)

comment:1 Changed 14 years ago by David Aspinall

Status: new → accepted

Confirmed. (Do you know: is this a recent regression, or present for a long time?)

comment:2 in reply to:  1 Changed 14 years ago by Erik Martin-Dorel

Replying to da:

Confirmed. (Do you know: is this a recent regression, or present for a long time?)

Good question; it actually seems to be present for a while: I have just retried with ProofGeneral-4.0pre100709 that I had kept in my home and this bug turns out to be reproducible with this version.

comment:3 Changed 14 years ago by courtieu

Resolution: → fixed
Status: accepted → closed

This is fixed in trunk now. Thanks a lot for the report.

Note: See TracTickets for help on using tickets.