Opened 11 years ago
Closed 9 years ago
#482 closed defect (fixed)
[lazymatch] should be highlighted and indented like [match]
| Reported by: | coquser | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | minor | Milestone: | PG-Emacs-4.3 |
| Component: | 2:pg-emacs | Keywords: | indentation highlighting |
| Cc: | jasongross9+pg@… |
Description
Currently, it causes the branches to be deindented, and does not match the highlighting of match.
Change History (2)
comment:1 Changed 9 years ago by
comment:2 Changed 9 years ago by
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Pierre fixed this in the latest CVS.
Note: See
TracTickets for help on using
tickets.
See my patch here: http://proofgeneral.inf.ed.ac.uk/trac/ticket/505