Opened 12 years ago

Closed 12 years ago

#439 closed defect (invalid)

Hang on open bracket

Reported by: Robin Green Owned by: David Aspinall
Priority: major Milestone: PG-Emacs-4.2
Component: 7:prover-coq Keywords:
Cc:

Description

In a Coq source file, type an open bracket (aka open parenthesis). Emacs will hang, requiring a C-g to get out of it. This is with Version 4.2pre120411.

Change History (1)

comment:1 Changed 12 years ago by Robin Green

Resolution: → invalid
Status: new → closed

Sorry, this was due to an incompatibility with the third-party minor mode autopair - after I disabled autopair mode for the buffer, this problem went away.

Note: See TracTickets for help on using tickets.