Opened 12 years ago

Closed 12 years ago

#449 closed defect (fixed)

coq electric terminator conflict

Reported by: coquser Owned by: David Aspinall
Priority: major Milestone: PG-Emacs-4.2
Component: 2:pg-emacs Keywords:
Cc: hendrik@…

Description

The new addition 

(define-key coq-mode-map (kbd ".") 'coq-colon-self-insert)

hides the generic default (proof-electric-terminator) and there is no configure option.

Hendrik

Change History (1)

comment:1 Changed 12 years ago by courtieu

Resolution: → fixed
Status: new → closed

Fixed.

Note: See TracTickets for help on using tickets.