Opened 15 years ago
Closed 14 years ago
#300 closed defect (fixed)
Emacs 22: strange keyword categorization
Reported by: | Makarius | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | PG-Emacs-4.0 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
This is Ubuntu 9.10 with GNU Emacs 22 (Gtk).
Somehow the keyword categorizations appears to intrude plain identifiers. E.g. the "in" in "Main" is highlighted differently. This may go as far as breaking the code for determining command spans, loosing synchronization quickly.
Change History (3)
comment:1 Changed 15 years ago by
Status: | new → accepted |
---|
comment:2 Changed 14 years ago by
The problem first shows up in the change "Start using new parser, adjusting isar-any-command-regexp." from Sat Oct 03 20:06:15, see also http://www4.in.tum.de/~wenzelm/cgi-bin/repos.cgi/ProofGeneral/rev/58fe7dd7b837
comment:3 Changed 14 years ago by
Resolution: | → fixed |
---|---|
Status: | accepted → closed |
Fixed in isar-syntax.el 10.31, I hope.
Note: See
TracTickets for help on using
tickets.
Confirmed. Probably due to changes in some of the fragile regexp construction in isar-syntax, maybe also the cause of #298. Will provide a fix/revert for this shortly.