Opened 13 years ago
Closed 13 years ago
#394 closed defect (fixed)
Coq "Library" keyword - incorrect coloring
Reported by: | coqletsgo | Owned by: | courtieu |
---|---|---|---|
Priority: | trivial | Milestone: | PG-Emacs-4.1 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
When using "Extraction Library <Module>", the "Library" word is not highlighted in blue like all other keywords (Extraction, Require, etc).
Change History (2)
comment:1 Changed 13 years ago by
Owner: | changed from David Aspinall to courtieu |
---|---|
Status: | new → assigned |
comment:2 Changed 13 years ago by
Resolution: | → fixed |
---|---|
Status: | assigned → closed |
Hello.
This is fixed in trunk. However the reason of this bug is unclear to me. The workaround was to change the order in which keywords are declared. This needs some more investigation.
P.
Note: See
TracTickets for help on using
tickets.
Confirmed. Yet the patterns are in coq-syntax.el. This seems to happen when the STATECH entry in the table is set to nil.