#374 closed defect (invalid)
cannot turn on electric-terminator interactively
| Reported by: | megacz | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | major | Milestone: | PG-Emacs-4.0 |
| Component: | 2:pg-emacs | Keywords: | |
| Cc: |
Description
I seem to be able to enable the electric-terminator using a hook in my .emacs file (although it doesn't work right -- see issue 371), but "C-c ;" gives me "C-c ; is undefined".
Change History (2)
comment:1 Changed 14 years ago by
| Resolution: | → invalid |
|---|---|
| Status: | new → closed |
comment:2 Changed 14 years ago by
Yes, "C-c ." for Coq. Perhaps a generic key binding would be better but it has been like this since early days.
Note: See
TracTickets for help on using
tickets.
Er, nevermind, I didn't know the keystroke depended on which proof assistant was in use.