Opened 14 years ago

Closed 14 years ago

#329 closed defect (duplicate)

Unwanted kill-buffer at startup

Reported by: Erik Martin-Dorel Owned by: David Aspinall
Priority: major Milestone: PG-Emacs-4.0
Component: 2:pg-emacs Keywords:
Cc:

Description

Hi,

I have noticed that when I run ProofGeneral, i.e. at the time I open the first Coq file of a given Emacs session, ProofGeneral 4.0pre100709 attemps to kill the previously active buffer.

To make sure of this behavior, I ran

$ emacs M-x shell C-x C-f foo.v

and Emacs asked "Buffer has a running process; kill it? (yes or no)".

Kind regards, Erik Martin-Dorel.

My System Info: ================ GNU Emacs 23.2.1 PG 4.0pre100709 Coq 8.2pl2

Change History (1)

comment:1 Changed 14 years ago by David Aspinall

Resolution: → duplicate
Status: new → closed

Thanks for making the report, it is appreciated. This is a symptom of #288, will be fixed soon!

Note: See TracTickets for help on using tickets.